testsuite/tests/polykinds/T18451b.hs


1
2
3
4
5
6
7
8
9
10
11

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeInType #-}
module Bug where

import Data.Kind
import Data.Proxy

type Const a b = a

foo :: forall a b (c :: Const Type b). Proxy '[a, c]
foo = error "ruk"