mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-01 21:20:54 +07:00
10 lines
224 B
Java
10 lines
224 B
Java
// "Remove redundant nested pattern" "true-preview"
|
|
class Main {
|
|
void foo(Object obj) {
|
|
if (obj instanceof Point(double x, double y, double z<caret>)) {
|
|
}
|
|
}
|
|
|
|
record Point(double x, double y) {}
|
|
}
|