testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T13603.hs
1 {-# Language PolyKinds, UndecidableInstances #-}
2 module T13603 where
3
4 import GHC.Exts (TYPE, RuntimeRep)
5
6 class A (a :: TYPE rep)
7 class A a => B (a :: TYPE rep)
8
9 instance A b => A (a -> (b :: TYPE rep))
10 instance B b => B (a -> (b :: TYPE rep))