Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / T14066.hs
1 {-# LANGUAGE ScopedTypeVariables #-}
2 {-# LANGUAGE PolyKinds #-}
3
4
5
6 module T14066 where
7
8 import Data.Kind ( Type )
9 import Data.Type.Equality
10 import Data.Proxy
11 import GHC.Exts
12
13 data SameKind :: k -> k -> Type
14
15 f (x :: Proxy a) = let g :: forall k (b :: k). SameKind a b
16 g = undefined
17 in ()