testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T1634.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 module T1634 where
4
5 t1 :: a -> (forall b. b -> (a,b))
6 t1 = (,)