mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-01 05:18:06 +07:00
GitOrigin-RevId: d6f5fb8b21e233edd636f5ee315e5e7b167f9b91
22 lines
458 B
Java
22 lines
458 B
Java
// "Convert record to class" "true-preview"
|
|
class X {
|
|
private static final class R {
|
|
private R() {
|
|
}
|
|
|
|
@Override
|
|
public boolean equals(Object obj) {
|
|
return obj == this || obj != null && obj.getClass() == this.getClass();
|
|
}
|
|
|
|
@Override
|
|
public int hashCode() {
|
|
return 1;
|
|
}
|
|
|
|
@Override
|
|
public String toString() {
|
|
return "R[]";
|
|
}
|
|
}
|
|
} |