mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-29 04:45:04 +07:00
IDEA-310260 GitOrigin-RevId: ce07977550e3a5c15d63f0a6eeed1d7341c74164
10 lines
243 B
Java
10 lines
243 B
Java
// "Merge with the default 'switch' branch" "GENERIC_ERROR_OR_WARNING"
|
|
class Test {
|
|
void foo(Object o) {
|
|
switch (o) {
|
|
case String s -> {}
|
|
case null, default -> System.out.println("hello");
|
|
}
|
|
}
|
|
}
|