Annotation Interface PolyUIType


@Documented @Retention(RUNTIME) @Target(TYPE) public @interface PolyUIType
Annotation for the polymorphic type declaration.
See the Checker Framework Manual:
GUI Effect Checker, Qualifier polymorphism