mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 05:09:37 +07:00
13 lines
308 B
Java
13 lines
308 B
Java
// "Remove unreachable branches" "true"
|
|
import org.jetbrains.annotations.*;
|
|
|
|
class Test {
|
|
void test(Object obj) {
|
|
if (!(obj instanceof Rect)) return;
|
|
System.out.println(42);
|
|
}
|
|
|
|
record Point(double x, double y) {}
|
|
record Rect(@NotNull Point point1, @NotNull Point point2) {}
|
|
}
|