Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / rename / should_fail / T11592.hs
1 {-# LANGUAGE PolyKinds #-}
2
3 module Bug11592 where
4
5 data A (a :: a) = MkA String
6
7 data B b (a :: a b) = MkB String
8 data C b (a :: b a) = MkC String
9
10 data D b c (a :: c a b) = MkD String