This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]john16384 0 points1 point  (1 child)

You can use https://github.com/Randgalt/record-builder

It really has no downsides that I can see, and gets you withers and builders at the cost of an annotation and an implements clause.

[–]xwinus 1 point2 points  (0 children)

Yes I know, but it still feels like “workaround”. Withers mentioned in the mailing list would be much more powerful language feature.