mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-01 20:52:37 +07:00
GitOrigin-RevId: 74a10e28de1dfb1667bb4a29688ab4c710b73bf4
14 lines
290 B
Java
14 lines
290 B
Java
class X {
|
|
sealed interface I0 {}
|
|
sealed interface I1 extends I0 {}
|
|
sealed interface I2 extends I1 {}
|
|
record A() implements I2 {}
|
|
record B() implements I0 {}
|
|
static void main(I0 i1) {
|
|
switch (i1) {
|
|
case A a -> System.out.println("A");
|
|
case B b<caret>
|
|
}
|
|
}
|
|
}
|