Use transSuperClasses in TcErrors
[ghc.git] / testsuite / tests / typecheck / should_fail / T16414.stderr
1
2 T16414.hs:14:6: error:
3     • Overlapping instances for AllZip2 f0 arising from a use of ‘f2’
4       Matching givens (or their superclasses):
5         AllZip2 I
6           bound by the type signature for:
7                      f1 :: forall x. (All x, AllZip2 I) => x -> ()
8           at T16414.hs:13:1-35
9       Matching instances:
10         instance AllZip2 f -- Defined at T16414.hs:11:10
11       (The choice depends on the instantiation of ‘f0’)
12     • In the expression: f2
13       In an equation for ‘f1’: f1 = f2