T22513f.hs\should_compile\rename\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/rename/should_compile/T22513f.hs

blob: 0ef422fdeb9e65a200c56203f24ac30a46cb98db (plain)

module T22513f where

import Data.Proxy

p :: () -> forall (a :: id). Proxy a
p () = Proxy