testsuite/tests/typecheck/should_fail/ExplicitSpecificity2.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE TypeApplications, RankNTypes, GADTs, PolyKinds #-}

module ExplicitSpecificity2 where

import Data.Proxy
import Data.Kind

data T a where C :: forall {k} (a::k). Proxy a -> T a

bar :: ()
bar = let x = C @Type @Int Proxy
      in ()