mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-28 04:37:32 +07:00
IDEA-291071 IJ-CR-95239 GitOrigin-RevId: 2fa8efa7057f75609b59f843a6fd7539919a3150
9 lines
247 B
Java
9 lines
247 B
Java
class C {
|
|
void foo(int n) {
|
|
switch (n) {
|
|
case 1 -> {}
|
|
case 2 -> <weak_warning descr="Duplicate branch in 'switch'">{}</weak_warning>
|
|
case 3 -> <weak_warning descr="Duplicate branch in 'switch'">{}</weak_warning>
|
|
}
|
|
}
|
|
} |