[Proposal] Upgrading the @value decorator

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.

1 Like

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.

1 Like

I think this proposal is a step in the right direction. +1.

1 Like