Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_compile / T11405.hs
1 {-# LANGUAGE ImplicitParams, PolyKinds, ExplicitForAll #-}
2
3 module T11405 where
4
5 import GHC.Exts
6 import GHC.Stack
7
8 x :: forall (v :: RuntimeRep) (a :: TYPE v). (?callStack :: CallStack) => a
9 x = undefined