Refactor treatment of wildcards
[ghc.git] / testsuite / tests / typecheck / should_fail / T10715.stderr
1
2 T10715.hs:9:13: error:
3     Couldn't match representation of type ‘a’ with that of ‘X a’
4     ‘a’ is a rigid type variable bound by
5       the type signature for:
6         doCoerce :: forall a. Coercible a (X a) => a -> X a
7       at T10715.hs:9:13
8     Inaccessible code in
9       the type signature for:
10         doCoerce :: Coercible a (X a) => a -> X a
11     In the ambiguity check for ‘doCoerce’
12     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
13     In the type signature:
14       doCoerce :: Coercible a (X a) => a -> X a