InferExc.java

public class InferExc {
    public static void main(String[] args) /*never throw*/ {
        caller(() -> { return; });
    }
    private static <T extends Throwable> void caller(Capture<T> c) throws T {
        c.f();
    }
    @FunctionalInterface
    public interface Capture<T extends Throwable> {
        void f() throws T;
    }
}