Fix over-eager error suppression in TcErrors
[ghc.git] / testsuite / tests / typecheck / should_fail / T14325.hs
1 {-# LANGUAGE GADTs, MultiParamTypeClasses #-}
2
3 module T14325 where
4
5 class (a~b) => C a b
6
7 foo :: C a b => a -> b
8 foo x = x
9
10 hm3 :: C (f b) b => b -> f b
11 hm3 x = foo x