testsuite/tests/polykinds/T19522.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE TypeApplications #-}
module Bug where

import GHC.Exts
import Unsafe.Coerce

f :: Int -> Int
f x = unsafeCoerce# @LiftedRep @LiftedRep @Int @Int x