testsuite/tests/typecheck/should_fail/tcfail085.stderr

   1
   2 tcfail085.hs:9:5:
   3     Constructor ‛F’ does not have the required strict field(s): y
   4     In the expression: F {x = 2}
   5     In an equation for ‛z’: z = F {x = 2}