Testsuite: add typecheck/should_fail/T8034 (#8034)
[ghc.git] / testsuite / tests / typecheck / should_fail / T8034.stderr
1
2 T8034.hs:6:3: error:
3     Couldn't match type ‘F a0’ with ‘F a’
4     NB: ‘F’ is a type function, and may not be injective
5     The type variable ‘a0’ is ambiguous
6     Expected type: F a -> F a
7       Actual type: F a0 -> F a0
8     In the ambiguity check for the type signature for ‘foo’:
9       foo :: forall a. C a => F a -> F a
10     To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
11     When checking the class method: foo :: forall a. C a => F a -> F a
12     In the class declaration for ‘C’