testsuite/tests/partial-sigs/should_compile/T16728.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
module Bug where

import Data.Proxy

f :: forall k (x :: k). Proxy (x :: _)
f = Proxy