mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-08 10:58:45 +07:00
- now it can be suppressed properly - show info level if the branches have different comments GitOrigin-RevId: 5f1c5c0a67165b949b894d2d81c53800ad3b4b22
17 lines
362 B
Java
17 lines
362 B
Java
// "Delete redundant 'switch' branch" "INFORMATION"
|
|
class C {
|
|
void foo(int n) {
|
|
switch (n) {
|
|
case 2 -> {
|
|
bar("B");
|
|
}
|
|
default -> {
|
|
/*comment 2*/
|
|
bar("A");
|
|
/*comment 1*/
|
|
}
|
|
/*comment 3*/
|
|
}
|
|
}
|
|
void bar(String s){}
|
|
} |