testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T13490.hs
1 {-# LANGUAGE FlexibleContexts, TypeFamilies #-}
2
3 module T13490 where
4
5 import Data.Typeable
6
7 type family Foo a
8
9 data C a
10
11 foo :: (Typeable (C z), z ~ Foo zp) => C zp
12 foo = undefined