mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-25 02:21:17 +07:00
also fixes internationalization and the incorrect comma in the name for "Create missing switch branches" quick-fix GitOrigin-RevId: 16285e054447d8d15318df8889499bbbf91243a7
25 lines
395 B
Java
25 lines
395 B
Java
// "Create missing and 'null' branches" "true-preview"
|
|
import org.jetbrains.annotations.Nullable;
|
|
|
|
class Test {
|
|
sealed interface SA permits R1, R2 {
|
|
}
|
|
|
|
record R1() implements SA {
|
|
}
|
|
|
|
record R2() implements SA {
|
|
}
|
|
|
|
|
|
public void test(@Nullable SA sa) {
|
|
switch (sa) {
|
|
case R1 r1 -> {
|
|
}
|
|
case R2 r2 -> {
|
|
}
|
|
case null -> {
|
|
}
|
|
}
|
|
}
|
|
} |