@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