testsuite/tests/typecheck/should_fail/T10495.stderr


1
2
3
4
5
6
7
8


T10495.hs:5:7: error:
    • Couldn't match representation of type ‘a0’ with that of ‘b0’
        arising from a use of ‘coerce’
    • In the expression: coerce
      In an equation for ‘foo’: foo = coerce
    • Relevant bindings include
        foo :: a0 -> b0 (bound at T10495.hs:5:1)