DIP1000: The return of 'Extend Return Scope Semantics'

[Walter Bright]

On 6/12/2021 12:33 AM, ag0aep6g wrote:
> On 11.06.21 05:12, Walter Bright wrote:
>> Hence a simple solution:
>>
>> Make move() @trusted.
> 
> You can't make `move` @trusted.

You're right. @system then.


>> Write an @safe alternative to move() with the parameters swapped.
> If you could make `move` @trusted, there would be no need for an @safe 
> alternative.

Right. But a compiler feature to support one function seems excessive.