mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-30 14:30:49 +07:00
IJ-CR-101312 GitOrigin-RevId: 11e80499c55677cea9ba2c2c3d1dc0dd0f83124d
17 lines
332 B
Java
17 lines
332 B
Java
// "Delete redundant 'switch' branch" "GENERIC_ERROR_OR_WARNING"
|
|
class Test {
|
|
record R() {}
|
|
record S() {}
|
|
|
|
void foo(Object obj) {
|
|
switch (obj) {
|
|
case null:
|
|
return 42;
|
|
case String s:
|
|
return 0;
|
|
default:
|
|
return 42;
|
|
}
|
|
}
|
|
}
|