testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T12911.hs
1 {-# LANGUAGE ExplicitForAll, PolyKinds, GADTSyntax,
2 ExistentialQuantification #-}
3
4 module T12911 where
5
6 import GHC.Exts
7
8 data X where
9 MkX :: forall r (a :: TYPE r). (a -> a) -> X