path: root/testsuite/tests/deriving/should_fail/Roles8.stderr

Roles8.hs:5:1:
    Role mismatch on variable a:
      Annotation says P but role R is required
    In the data declaration for ‛T1’