Annotation Interface LowerBoundBottom


The bottom type of the lower bound type system. A variable annotated with this value cannot take on any integer values.
See the Checker Framework Manual:
Index Checker