mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 06:01:00 +07:00
IDEA-310260 GitOrigin-RevId: ce07977550e3a5c15d63f0a6eeed1d7341c74164
15 lines
318 B
Java
15 lines
318 B
Java
// "Delete redundant 'switch' branch" "GENERIC_ERROR_OR_WARNING"
|
|
class Test {
|
|
record R() {}
|
|
|
|
void foo(Object obj) {
|
|
switch (obj) {
|
|
case R r:
|
|
System<caret>.out.println(42);
|
|
break;
|
|
default:
|
|
System.out.println(42);
|
|
}
|
|
}
|
|
}
|