testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T5481.hs
1 {-# LANGUAGE TypeFamilies, MultiParamTypeClasses #-}
2 module T5481 where
3
4 class Foo a b where
5 type X a
6 type X a = b
7 type Y b
8 type Y b = a