mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-30 10:39:51 +07:00
GitOrigin-RevId: 8fce1a459ef4d18c6f5aef44eb4988b1770a6ffa
7 lines
133 B
Java
7 lines
133 B
Java
record Rec(int x, String s) {
|
|
void foo(Object o) {
|
|
switch (o) {
|
|
case <caret>Rec(int patternX, String s) -> {}
|
|
}
|
|
}
|
|
} |