This is a discussion thread for the linked proposal.
Author: @clattner
This is a discussion thread for the linked proposal.
Author: @clattner
I agree with the problems that @value
is currently causing. As much as I would prefer the general solution, that’s a ways off, and I like this more than what we have right now. However, I think that a RecordLike
or SimpleValue
which is at least Copyable & Movable & ExplicitlyCopyable
would be desirable for the reasons mentioned in the proposal, and I’d like to see that brought in scope for the proposal.
I generally support this new behaviour, but I’m not sure why we need to change the name @value
. @memberwise_init
is a bit of a mouthful, so I’d rather we keep @value
and just change how it works to match this proposal.
This is a major behavioral change, and we will need a migration period, so I don’t think we can re-use @value
.
I think this proposal is a step in the right direction. +1.