org.checkerframework.common.returnsreceiver.qual
public @Interface BottomThis
extends Annotation
- Annotations
- @SubtypeOf:UnknownThis
- @Retention:RUNTIME
- @Target:TYPE_USE, TYPE_PARAMETER
- @TargetLocations:EXPLICIT_LOWER_BOUND, EXPLICIT_UPPER_BOUND
- Imports
- java.lang.annotation.ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf, .TargetLocations, .TypeUseLocation
The bottom type for the Returns Receiver Checker's type system. Programmers should rarely write
this type.
