testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T14366.hs
1 {-# LANGUAGE TypeFamilies #-}
2 {-# LANGUAGE TypeInType #-}
3 {-# LANGUAGE TypeOperators #-}
4
5 module T14366 where
6 import Data.Kind
7 import Data.Type.Equality
8
9 type family Cast (a :: Type) (b :: Type) (e :: a :~: b) (x :: a) :: b where
10 Cast _ _ Refl x = x
11
12 type family F (a :: Type) :: Type where
13 F (a :: _) = a