mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-12 19:06:35 +07:00
GitOrigin-RevId: fd52ace3d7a32ecd02c2c5ab90e077967604c15e
17 lines
370 B
Java
17 lines
370 B
Java
class App {
|
|
static void f(Runnable r) {
|
|
r.run();
|
|
}
|
|
|
|
public static void main(String[] args) {
|
|
RuntimeException[] exception = {null};
|
|
try {
|
|
f(() -> {
|
|
exception[0] = new RuntimeException();
|
|
throw exception[0];
|
|
});
|
|
} catch (RuntimeException e) {
|
|
System.out.println(e == exception[0]); // was false-positive
|
|
}
|
|
}
|
|
} |