@Retention(value=CLASS)
@Target(value={TYPE,FIELD,CONSTRUCTOR,METHOD,PARAMETER})
public @interface Present
A class field, or method return/parameter type, of Optional type is annotated @Present
to indicate that its value cannot be absent.
Users of the method/field and static checkers must enforce, and can rely on, this invariant.