mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-18 00:20:54 +07:00
- fix to reverse 'case default, null' - fix to replace 'case default' with 'default' GitOrigin-RevId: 3762a40c859bb7a13a638614b3200b0005d8e85a
12 lines
272 B
Java
12 lines
272 B
Java
// "Replace 'case default' with 'default'" "true-preview"
|
|
class Test {
|
|
void f() {
|
|
Object o = null;
|
|
switch (o) {
|
|
case String s:
|
|
System.out.println("2");
|
|
/*some text*/
|
|
default:
|
|
System.out.println("3") /*some text2*/;
|
|
}
|
|
} |