testsuite/tests/polykinds/T14887a.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeInType #-}
{-# OPTIONS_GHC -Wno-partial-type-signatures #-}
module Bug where

import Data.Proxy

f2 :: forall a (x :: a). Proxy (x :: _)
f2 = Proxy