summaryrefslogtreecommitdiff
path: root/testsuite/tests/dependent/should_fail/T14066h.hs
blob: a20ae309584b1ddc4b89595952a5415a8821c397 (plain)
1
2
3
4
5
6
7
8
9
10
11
{-# LANGUAGE ScopedTypeVariables, PolyKinds, MonoLocalBinds #-}

module T14066h where

import Data.Proxy

f :: forall b. b -> (Proxy Int, Proxy Maybe)
f x = (fst y :: Proxy Int, fst y :: Proxy Maybe)
  where
    y :: (Proxy a, b)  -- MonoLocalBinds means this won't generalize over the kind of a
    y = (Proxy, x)