DIP1000: The return of 'Extend Return Scope Semantics'

[Max Haughton]

On Tuesday, 25 May 2021 at 11:24:59 UTC, Dennis wrote:
> ## Background
>
> The `return` attribute allows you to return a scope variable.
> The compiler knows that the returned value has the same 
> lifetime as the argument passed to the function.
> ```D
> // ┌───────────<──────────┐
> int* identity(return int* x) @safe {
>     return x;
> }
>
> [...]

I think the Franklin solution is the best one presented here. 
Similarly with inout, any keywords in this context (i.e. 
non-trivial and non-local effect on the code) should aim for some 
syntax like this, even if the existing rules technically mean you 
could go without, flexibility and redundancy are a good thing 
(especially for people new to the language).