Fix error-message suppress on given equalities
[ghc.git] / testsuite / tests / typecheck / should_fail / T12589.stderr
1
2 T12589.hs:13:3: error: Variable not in scope: (&) :: t0 -> t1 -> t
3
4 T12589.hs:13:5: error:
5     • Cannot instantiate unification variable ‘t1’
6       with a type involving foralls:
7         (forall a. Bounded a => f0 a) -> h0 f0 xs0
8         GHC doesn't yet support impredicative polymorphism
9     • In the second argument of ‘(&)’, namely ‘hcpure (Proxy @Bounded)’
10       In the expression: (&) minBound hcpure (Proxy @Bounded)
11       In an equation for ‘a’: a = (&) minBound hcpure (Proxy @Bounded)