Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / T14066e.hs
1 {-# LANGUAGE MonoLocalBinds, PolyKinds, ScopedTypeVariables #-}
2
3 module T14066e where
4
5 import Data.Proxy
6
7 -- this should fail because the dependency between b and c can't be
8 -- determined in the type signature
9 h :: forall a. a -> ()
10 h x = ()
11 where
12 j :: forall c b. Proxy a -> Proxy b -> Proxy c -> Proxy b
13 j _ (p1 :: Proxy b') (p2 :: Proxy c') = (p1 :: Proxy (b' :: c'))