testsuite/tests/rep-poly/T20330b.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE TypeApplications #-}

module T20330b where

import GHC.Exts

foo :: forall w r (z :: TYPE r). w -> z -> z
foo = raise# @w @(z -> z)