Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail080.stderr
1
2 tcfail080.hs:27:1: error:
3     • Could not deduce (Collection c0 a)
4       from the context: Collection c a
5         bound by the inferred type for ‘q’:
6                    Collection c a => a -> Bool
7         at tcfail080.hs:27:1-27
8       The type variable ‘c0’ is ambiguous
9     • In the ambiguity check for the inferred type for ‘q’
10       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
11       When checking the inferred type
12         q :: forall (c :: * -> *) a. Collection c a => a -> Bool