@SubtypeOf(value={UnderInitialization.class,Initialized.class}) @Documented @Retention(value=RUNTIME) @Target(value={TYPE_USE,TYPE_PARAMETER}) @TargetLocations(value={EXPLICIT_LOWER_BOUND,EXPLICIT_UPPER_BOUND}) public @interface FBCBottom
FBCBottom marks the bottom of the Freedom Before Commitment type hierarchy.