mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-06 13:20:53 +07:00
18 lines
380 B
Java
18 lines
380 B
Java
// "Create missing branches: 'Scratch.X', and 'Scratch.Parent.X'" "true"
|
|
class Scratch {
|
|
sealed interface Parent {
|
|
record X() implements Parent {}
|
|
}
|
|
record X() implements Parent {}
|
|
record Y() implements Parent {}
|
|
|
|
void test(Parent parent) {
|
|
switch (parent) {
|
|
case Y y -> {}
|
|
case X x -> {
|
|
}
|
|
case Parent.X x -> {
|
|
}
|
|
}
|
|
}
|
|
} |