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

T9574.hs:13:5: error:
    The RHS of an associated type declaration mentions out-of-scope variable ‘o’
      All such variables must be bound on the LHS