mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-27 21:44:18 +07:00
in "Duplicate branches in 'switch'" inspection fix GitOrigin-RevId: 7b22a3409f5d9237f432ab3dd35f27cacfbd7737
14 lines
288 B
Java
14 lines
288 B
Java
// "Merge with 'case 1'" "GENERIC_ERROR_OR_WARNING"
|
|
class C {
|
|
void foo(int n) {
|
|
switch (n) {
|
|
case 1, 3:
|
|
bar("A");
|
|
break;
|
|
case 2:
|
|
bar("B");
|
|
break;
|
|
}
|
|
}
|
|
void bar(String s){}
|
|
} |