ghc/tests/typecheck/should_fail/tcfail065.stderr

   1
   2 tcfail065.hs:29:
   3     Inferred type is less polymorphic than expected
   4         Quantified type variable `x' escapes; i.e. unifies with something more global
   5     When checking the type signature for `setX'
   6         Signature: x -> X x1 -> X x1
   7         Inferred:  x -> X x -> X x
   8     In the definition for method `setX'
   9
  10
  11 Compilation had errors