eisop / checker-framework

Pluggable type-checking for Java
https://eisop.github.io/
Other
18 stars 18 forks source link

Fully support `ParametricTypeVariableUseQualifier` meta-annotation #713

Open wmdietl opened 7 months ago

wmdietl commented 7 months ago

708 adds the new ParametricTypeVariableUseQualifier meta-annotation, but it is currently only for documentation. Only methods in QualifierHierarchy implement support for a parametric qualifier.

Fully implement and document support for the parametric meta-annotation, modeled after how polymorphic qualifiers are implemented.