[fixes #3559[fixes #3497] Treat nested records as static

This commit is contained in:
Rawi01 committed 2023-12-17 13:04:40 +01:00
1 parent 00893744eb
commit fb09a99fae
14 files changed
+229 -6

No files matched your search

@@ -0,0 +1,21 @@
// version 14:
public class WithOnNestedRecord<T> {
public record Nested(String a, String b) {
/**
* @return a clone of this object, except with this updated property (returns {@code this} if an identical value is passed).
*/
@java.lang.SuppressWarnings("all")
public WithOnNestedRecord.Nested withA(final String a) {
return this.a == a ? this : new WithOnNestedRecord.Nested(a, this.b);
}
/**
* @return a clone of this object, except with this updated property (returns {@code this} if an identical value is passed).
*/
@java.lang.SuppressWarnings("all")
public WithOnNestedRecord.Nested withB(final String b) {
return this.b == b ? this : new WithOnNestedRecord.Nested(this.a, b);
}
}
}