blob: ef1f5687694a5ffa23170c186958efba677e2b2b (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE MagicHash, PolyKinds, ScopedTypeVariables #-}
{-# OPTIONS_GHC -O #-}
module T13458 where
import GHC.Exts
import Data.Kind
import Unsafe.Coerce
unsafeCoerce' :: forall (r :: RuntimeRep)
(a :: TYPE r) (b :: TYPE r).
a -> b
unsafeCoerce' = unsafeCoerce id
|