testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / ExPatFail.hs
1 {-# LANGUAGE GADTs #-}
2
3 module ExPatFail where
4
5 data T where
6 MkT :: Integral a => a -> Int -> T
7
8 -- Fails because y is bound to an existential type
9 -- Mind you, the error message is pretty terrible
10 -- c.f. T11700
11
12 f x = let MkT y _ = x
13 in y