testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T7384.hs
1 {-# LANGUAGE FunctionalDependencies, PolyKinds #-}
2
3 module T7384 where
4
5 class Baz a b | a -> b where
6 bar :: a -> ()
7
8 instance Baz Bool Bool where
9 bar _ = ()
10
11 foo = bar False