@TypeQualifier @InvisibleQualifier @SubtypeOf(value={}) @Target(value={}) public @interface Unqualified
SubtypeOf.value()
,
in the type qualifiers declarations.
This annotation may not be written in source code; it is an implementation detail of the checker.