@HasQualifierParameter doesn't apply to anonymous classes

[t-rasmud]

Consider the following test case:

import org.checkerframework.checker.tainting.qual.Tainted;
import org.checkerframework.framework.qual.HasQualifierParameter;

@HasQualifierParameter(Tainted.class)
public class InnerHasQualifierParameter {

    @HasQualifierParameter(Tainted.class)
    interface TestInterface {
        public void testMethod();
    }

    public void test() {
        TestInterface test =
                new TestInterface() {
                    public void testMethod() {}
                };
    }
}

Running the tainting checker with the command javac -processor tainting checker/tests/tainting/InnerHasQualifierParameter.java results in the following error:

checker/tests/tainting/InnerHasQualifierParameter.java:14: error: [missing.has.qual.param] Missing @HasQualifierParameter for hierarchy @Tainted.
                new TestInterface() {
                                    ^
  Class extends or implements a type that has a qualifier parameter.
1 error

While this is an expected output, there is no way to explicitly annotate the anonymous class with @HasQualifierParameter.
Proposed solution: Make @HasQualifierParameter an inherited annotation type.