@TypeQualifier @SubtypeOf(value={BinaryName.class,ClassGetName.class}) @Target(value={TYPE_USE,TYPE_PARAMETER}) public @interface BinaryNameForNonArray
binary name
as defined in the Java
Language Specification, section 13.1, but only for a non-array type.
This annotation may not be written in source code; it is an implementation detail of the checker.