// Test case for Issue 1424.
// https://github.com/typetools/checker-framework/issues/1424

@SuppressWarnings("unchecked")
abstract class Issue1424 {
    class Box<T> {}

    interface Callable<V> {
        V call() throws Exception;
    }

    class MyCallable<T> implements Callable<T> {
        MyCallable(Callable<T> delegate) {}

        public T call() throws Exception {
            throw new RuntimeException();
        }
    }

    abstract <T> Box<T> submit(Callable<T> t);

    Box<Boolean> foo() {
        return submit(new MyCallable(() -> true));
    }
}