@Documented
@Retention(value=RUNTIME)
@Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface MonotonicNonNullType
@MonotonicNonNull
. It appears in the same package as
@MonotonicNonNullDecl
, so it is convenient to import both.MonotonicNonNull