Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / T13458.hs
1 {-# LANGUAGE MagicHash, PolyKinds, ScopedTypeVariables #-}
2 {-# OPTIONS_GHC -O #-}
3 module T13458 where
4 import GHC.Exts
5 import Data.Kind
6 import Unsafe.Coerce
7
8 unsafeCoerce' :: forall (r :: RuntimeRep)
9 (a :: TYPE r) (b :: TYPE r).
10 a -> b
11 unsafeCoerce' = unsafeCoerce id