Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / T3102.hs
1 {-# OPTIONS -XImplicitParams -XRankNTypes #-}
2 module Bug where
3
4 t :: forall a. ((?p :: Int) => a) -> String
5 t _ = "Hello"
6
7 f :: (forall a. a -> String) -> Int
8 f _ = 3
9
10 result :: Int
11 result = f t
12