ghc/tests/typecheck/should_fail/tcfail065.stderr

   1
   2 tcfail065.hs:28:
   3     Inferred type is less polymorphic than expected
   4         Quantified type variable `x' escapes
   5         It is reachable from the type variable(s) `x1'
   6           which is free in the signature
   7     Signature type:     forall x. x -> X x1 -> X x1
   8     Type to generalise: x1 -> X x1 -> X x1
   9     When checking the type signature for `setX'
  10     In the definition for method `setX'
  11
  12 Compilation had errors
  13