Fix incorrect ambiguity error on identically-named data constructors
[ghc.git] / testsuite / tests / typecheck / should_fail / T10698.stderr
1
2 T10698.hs:13:29:
3     Could not coerce from ‘Map k1 a’ to ‘Map k2 a’
4       because the first type argument of ‘Map’ has role Nominal,
5       but the arguments ‘k1’ and ‘k2’ differ
6       arising from a use of ‘coerce’
7     from the context (Coercible k1 k2)
8       bound by the RULE "map1/coerce" at T10698.hs:13:1-34
9     In the expression: coerce
10     When checking the transformation rule "map1/coerce"