mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-04 06:32:48 +07:00
IDEA-298829 GitOrigin-RevId: 7a7da446d502a89ba3040e3558929bd918111de9
10 lines
189 B
Java
10 lines
189 B
Java
// "Add missing nested pattern" "false"
|
|
class Main {
|
|
void foo(Object obj) {
|
|
if (obj instanceof Point(int x<caret>)) {
|
|
}
|
|
}
|
|
|
|
record Point(double x, double y) {}
|
|
}
|