import org.checkerframework.checker.nullness.qual.NonNull; | |
public class NonNullIteratorNext { | |
interface MyIterator<E> extends java.util.Iterator<E> { | |
@NonNull E next(); | |
} | |
interface MyList<E> extends java.util.Collection<E> { | |
MyIterator<E> iterator(); | |
} | |
<T> void forEachLoop(MyList<T> list) { | |
for (T elem : list) {} | |
} | |
} |