path: root/testsuite/tests/roles/should_fail/Roles11.stderr

Roles11.hs:5:1:
    Role mismatch on variable a:
      Annotation says representational but role nominal is required
    while checking a role annotation for ‛T2’