mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-02 11:07:44 +07:00
GitOrigin-RevId: 8fce1a459ef4d18c6f5aef44eb4988b1770a6ffa
6 lines
125 B
Java
6 lines
125 B
Java
record Rec(int x, String s) {
|
|
void foo(Object o) {
|
|
if (o instanceof <caret>Rec(int patternX, String s) r) {
|
|
}
|
|
}
|
|
} |