Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T11142.hs
1 {-# LANGUAGE PolyKinds, RankNTypes #-}
2
3 module T11142 where
4
5 import Data.Kind
6
7 data SameKind :: k -> k -> *
8
9 foo :: forall b. (forall k (a :: k). SameKind a b) -> ()
10 foo = undefined