Annotation Interface UnknownNonEmpty

@Documented
@Retention(RUNTIME)
@Target({TYPE_PARAMETER,TYPE_USE})
@DefaultQualifierInHierarchy
@SubtypeOf({})
public @interface UnknownNonEmpty

The Collection, Iterator, Iterable, Map, or Stream may or may not be empty.

See the Checker Framework Manual:

Non-Empty Checker