DIP 1040

[Richard (Rikki) Andrew Cattermole]

On 19/07/2024 8:27 AM, Walter Bright wrote:
> On 7/14/2024 3:51 AM, Timon Gehr wrote:
>> - a parameter storage class that enforces the parameter was moved.
> 
> The caller should make the decision of whether it's a move or a copy, 
> the callee should not care. The callee owns the value (and hence must 
> destruct it) in either case.

I'm starting to seriously question DIP1040's design, if it is even doing 
what people like Manu or Weka need.

Are copies seriously wanted in addition to moving?

The whole point of move constructors as far as I understand, is to 
establish ownership transfer. And this is what Timon here is asking 
about, the guarantee that it is a unique transfer.