mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 14:37:45 +07:00
GitOrigin-RevId: d1d378f0264d23227afbadcb11ec4f2f8c2dcf49
13 lines
288 B
Java
13 lines
288 B
Java
// "Replace with record pattern" "false"
|
|
class X {
|
|
record R(String oldText, String newText) {
|
|
}
|
|
|
|
void patternBug(Object obj) {
|
|
if (obj instanceof R<caret> r) {
|
|
System.out.println(r.oldText());
|
|
System.out.println(r.newText());
|
|
System.out.println(r);
|
|
}
|
|
}
|
|
} |