path: root/testsuite/tests/gadt/records-fail1.stderr

records-fail1.hs:7:1:
    Constructors T1 and T4 have a common field ‛x’,
      but have different result types
    In the data declaration for ‛T’