Fix over-eager error suppression in TcErrors
[ghc.git] / testsuite / tests / typecheck / should_fail / T14325.stderr
1
2 T14325.hs:11:9: error:
3     • Could not deduce (C b (f b)) arising from a use of ‘foo’
4       from the context: C (f b) b
5         bound by the type signature for:
6                    hm3 :: forall (f :: * -> *) b. C (f b) b => b -> f b
7         at T14325.hs:10:1-28
8     • In the expression: foo x
9       In an equation for ‘hm3’: hm3 x = foo x