testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T10589.hs
1 {-# LANGUAGE LambdaCase, TypeFamilies #-}
2
3 module T10589 where
4
5 type family F a where
6 F a = Bool -> a
7
8 foo = (\case True -> 5
9 False -> 6) :: F Int