testsuite/tests/ghc-regress/indexed-types/should_compile/Simple19.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE TypeFamilies, LiberalTypeSynonyms #-}
                           -- ^ crucial for exercising the code paths to be
                           --   tested here

module ShouldCompile where

type family Element c :: *

f :: Element x
f = undefined