@TypeQualifier @SubtypeOf(value={SourceName.class,BinaryNameForNonArray.class}) @Target(value={TYPE_USE,TYPE_PARAMETER}) public @interface SourceNameForNonArray
This annotation may not be written in source code; it is an implementation detail of the checker.