A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / typecheck / should_fail / T10495.stderr
1
2 T10495.hs:5:7: error:
3     • Couldn't match representation of type ‘a0’ with that of ‘b0’
4         arising from a use of ‘coerce’
5     • In the expression: coerce
6       In an equation for ‘foo’: foo = coerce
7     • Relevant bindings include
8         foo :: a0 -> b0 (bound at T10495.hs:5:1)