mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-29 16:50:55 +07:00
10 lines
115 B
Java
10 lines
115 B
Java
|
|
class Main {
|
|
|
|
record I(int x)
|
|
void f(Object o) {
|
|
switch (o) {
|
|
case Record(int x) <caret>
|
|
}
|
|
}
|
|
} |