Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / T13343.hs
1 {-# LANGUAGE RankNTypes #-}
2 {-# LANGUAGE PolyKinds #-}
3 module Bug where
4
5 import GHC.Exts
6
7 type Bad = forall (v1 :: RuntimeRep) (a1 :: TYPE v). a1
8
9 -- should be accepted because GHC will generalize over v. Note v /= v1.