Iterator.java

abstract class Iterator<E extends Exception> {
    abstract boolean hasNext() throws E;
}

class DumbIterator extends Iterator<RuntimeException> {
    boolean hasNext() throws RuntimeException {
        return true;
    }
}

public class Test {
    void foo(Iterator<RuntimeException> b) {
        b.hasNext();
    }
}