Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / T11347.stderr
1
2 T11347.hs:6:41: error:
3     • Couldn't match representation of type ‘a’ with that of ‘b’
4         arising from the coercion of the method ‘unsafe’
5           from type ‘Id1 a -> Discern (Id1 a) b’
6             to type ‘Id2 a -> Discern (Id2 a) b’
7       ‘a’ is a rigid type variable bound by
8         the deriving clause for ‘UnsafeCast b (Id2 a)’ at T11347.hs:6:41-52
9       ‘b’ is a rigid type variable bound by
10         the deriving clause for ‘UnsafeCast b (Id2 a)’ at T11347.hs:6:41-52
11     • When deriving the instance for (UnsafeCast b (Id2 a))