import org.checkerframework.checker.nullness.qual.Nullable; class Caller { void foo(Multiset multiset) { Entry entry = multiset.someEntry(); } } interface Multiset { Entry someEntry(); } interface Entry {}