Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_fail / LevPolyBounded.hs
1 -- inspired by comment:25 on #12708
2
3 {-# LANGUAGE PolyKinds #-}
4
5 module LevPolyBounded where
6
7 import GHC.Exts
8
9 class XBounded (a :: TYPE r) where
10 minBound :: a
11 maxBound :: a