mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-29 18:17:08 +07:00
GitOrigin-RevId: 55ef9a7d7fa7b96a8f54e91801060b7c3d44dd65
12 lines
265 B
Java
12 lines
265 B
Java
public class WithoutConflictsSwitchUsedDeconstruction {
|
|
public record Point(int a<caret>, String b) {
|
|
void foo(Object obj) {
|
|
switch (obj) {
|
|
case Point(int x, Object y) when x > 10 -> {
|
|
}
|
|
default -> {
|
|
}
|
|
}
|
|
}
|
|
}
|
|
} |