path: root/testsuite/tests/polykinds/T9574.stderr

T9574.hs:11:5:
    The RHS of an associated type declaration mentions ‘o’
      All such variables must be bound on the LHS