DIP1000: Walter's proposal to resolve ambiguity of ref-return-scope parameters

[zjh]

On Thursday, 25 November 2021 at 13:43:10 UTC, Dennis wrote:

> `scope` on a variable with a pointer type means the pointer 
> value will not leave the scope that the variable is declared in.

Thank you for your detailed explanation. I understand roughly.
If attribute deduction is available, can the `attr` be omitted as 
much as possible?
If we can't omit an attribute, I want `sugar sytax` to simplify 
it.
Looking at funcs, attrs all around, as a lover of clean code, I 
can't bear it.