testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc262.hs
1 {-# LANGUAGE IncoherentInstances, MultiParamTypeClasses, FlexibleInstances #-}
2
3 -- Liberated IncoherentInstances behavior (#8141)
4
5 class C a b where foo :: (a,b)
6
7 instance C Int b where foo = undefined
8 instance C a Int where foo = undefined
9
10 x :: (Int, Int)
11 x = foo
12
13 main = return ()