Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_fail / T14904b.hs
1 {-# LANGUAGE RankNTypes #-}
2 {-# LANGUAGE TypeFamilies #-}
3 {-# LANGUAGE PolyKinds #-}
4 module T14904b where
5
6 import Data.Kind
7
8 type family F f :: Type where
9 F ((f :: forall a. g a) :: forall a. g a) = Int