mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-02 14:38:30 +07:00
GitOrigin-RevId: 5ef95cd17be1a7c76e82438d84f46f96b515be2f
10 lines
114 B
Java
10 lines
114 B
Java
|
|
class Main {
|
|
|
|
record I(int x)
|
|
void f(Object o) {
|
|
switch (o) {
|
|
case Record(int x <caret>
|
|
}
|
|
}
|
|
} |