1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
// 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));
}
}
|
