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