mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-26 03:51:12 +07:00
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>
|
|
}
|
|
}
|
|
} |