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.