import org.checkerframework.checker.nullness.qual.NonNull;

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) {}
    }
}