Improve typechecking of let-bindings
[ghc.git] / testsuite / tests / deriving / should_fail / T7148a.stderr
1 \r
2 T7148a.hs:19:50: error:\r
3     • Couldn't match representation of type ‘b’\r
4                                with that of ‘Result a b’\r
5         arising from the coercion of the method ‘coerce’\r
6           from type ‘forall b. Proxy b -> a -> Result a b’\r
7             to type ‘forall b.\r
8                      Proxy b -> IS_NO_LONGER a -> Result (IS_NO_LONGER a) b’\r
9       ‘b’ is a rigid type variable bound by\r
10         the type Proxy b -> a -> Result a b at T7148a.hs:19:50-56\r
11     • When deriving the instance for (Convert (IS_NO_LONGER a))\r