blob: 0a7ea5bc6316ef3995176b795b7b741184383382 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE ScopedTypeVariables, TypeApplications, PolyKinds #-}
module T14548 where
data Prox (a :: k) = MkProx
-- fail
f :: forall a. Prox (a :: k)
f = MkProx @k @a
-- fail
g :: forall (a :: k). Prox (a :: k)
g = MkProx @k @a
-- ok
h :: forall k (a :: k). Prox (a :: k)
h = MkProx @k @a
|
