blob: 9b51378d654f29963bf5b2e2f2b0ad65652aca1d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE MagicHash, TypeInType, 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
|