@TypeQualifier
@InvisibleQualifier
@SubtypeOf(value=MethodVal.class)
@Target(value={})
public @interface MethodValBottom
Represents the bottom of the MethodVal qualifier hierarchy. This is used to
make the null literal a subtype of all MethodVal annotations.
This annotation may not be written in source code; it is an implementation
detail of the checker.