Package org.checkerframework.checker.nullness.qual

Annotation Interface KeyForBottom

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@TargetLocations({LOWER_BOUND,UPPER_BOUND})
@InvisibleQualifier
@SubtypeOf(KeyFor.class)
public @interface KeyForBottom

The bottom type in the Map Key type system. Programmers should rarely write this type.

There are no values of this type (not even null).

See the Checker Framework Manual:

Map Key Checker, the bottom type