Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / T12124.hs
1 module T12124 where
2
3 data Whoops = Whoops Int Int
4
5 foo :: Maybe Int
6 foo = return (case Whoops 1 2 of
7 Whoops a -> a
8 _ -> 0)