mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 20:33:31 +07:00
IDEA-303300 GitOrigin-RevId: 683cfefb998c2a1f3a16d7874c166740ff21ac2f
9 lines
206 B
Java
9 lines
206 B
Java
// "Create inner record 'Point'" "true-preview"
|
|
class Test {
|
|
void foo(Object obj) {
|
|
if (obj instanceof Point(double x, double y)) {}
|
|
}
|
|
|
|
private record Point(double x, double y) {
|
|
}
|
|
} |