Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / T14066h.hs
1 {-# LANGUAGE ScopedTypeVariables, PolyKinds, MonoLocalBinds #-}
2
3 module T14066h where
4
5 import Data.Proxy
6
7 f :: forall b. b -> (Proxy Int, Proxy Maybe)
8 f x = (fst y :: Proxy Int, fst y :: Proxy Maybe)
9 where
10 y :: (Proxy a, b) -- MonoLocalBinds means this won't generalize over the kind of a
11 y = (Proxy, x)