mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-25 10:51:06 +07:00
also fixes internationalization and the incorrect comma in the name for "Create missing switch branches" quick-fix GitOrigin-RevId: 16285e054447d8d15318df8889499bbbf91243a7
17 lines
463 B
Java
17 lines
463 B
Java
// "Create missing branch 'Sub1'" "true-preview"
|
|
sealed interface I {}
|
|
final class Sub1 implements I {}
|
|
final class Sub2 implements I {}
|
|
|
|
class Test {
|
|
void test(I i) {
|
|
switch (i) {
|
|
case Sub1 sub1 when Math.random() > 0.5 -> {}
|
|
case Sub1 sub1 when Math.random() > 0.1 -> {}
|
|
case Sub1 sub1 when Math.random() > 0.5 -> {}
|
|
case Sub2 sub2 -> {}
|
|
case Sub1 sub1 -> {
|
|
}
|
|
}
|
|
}
|
|
} |