testsuite/tests/indexed-types/should_fail/T5515.stderr


1
2
3
4
5
6
7
8


T5515.hs:9:3:
    The RHS of an associated type declaration mentions ‘a’
      All such variables must be bound on the LHS

T5515.hs:15:3:
    The RHS of an associated type declaration mentions ‘a’
      All such variables must be bound on the LHS