Fix #10534
[ghc.git] / testsuite / tests / typecheck / should_fail / T10534.stderr
1
2 T10534a.hs:9:10: error:
3     Could not deduce: a ~ b
4     from the context: Coercible (DF a) (DF b)
5       bound by the type signature for:
6                silly :: Coercible (DF a) (DF b) => a -> b
7       at T10534a.hs:9:10-42
8       ‘a’ is a rigid type variable bound by
9           the type signature for: silly :: Coercible (DF a) (DF b) => a -> b
10           at T10534a.hs:9:10
11       ‘b’ is a rigid type variable bound by
12           the type signature for: silly :: Coercible (DF a) (DF b) => a -> b
13           at T10534a.hs:9:10
14     arising from trying to show that the representations of
15       ‘DF a’ and
16       ‘DF b’ are the same
17     Relevant role signatures: type role DF nominal
18     In the ambiguity check for the type signature for ‘silly’:
19       silly :: forall a b. Coercible (DF a) (DF b) => a -> b
20     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
21     In the type signature for ‘silly’:
22       silly :: Coercible (DF a) (DF b) => a -> b