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

T8773.hs:5:1:
    Roles other than ‘nominal’ for class parameters can lead to incoherence.
    Use IncoherentInstances to allow this; bad role found
    while checking a role annotation for ‘C2’