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
26
27
28
29
30
31
32
33
34
35
|
// Test case for Issue 1520
// https://github.com/typetools/checker-framework/issues/1520
import java.io.IOException;
public class Issue1520 {
void start() {
new Runnable() {
public void run() {
try {
_run();
} finally {
signal(); // Evaluating this node type as member of implicit `this` will throw
// NPE
}
}
};
}
void signal() {}
void _run() {}
static class Inner {}
void test2() throws IOException {
try {
throwIO();
} finally {
Inner inner = new Inner();
}
}
void throwIO() throws IOException {}
}
|
