testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T7268.hs
1 {-# LANGUAGE MonoLocalBinds, NoMonomorphismRestriction, RankNTypes #-}
2 module T7268 where
3
4 data X = X { a :: forall a . a -> Bool }
5
6 ida :: forall b. b -> Bool
7 X { a = ida } = error "urk"
8
9 bar :: c -> Bool
10 bar = ida
11