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

[zjh]

On Thursday, 25 November 2021 at 22:36:38 UTC, Walter Bright 
wrote:

> I've suggested removing `lazy` already, with the predicted 
> response.

`lazy` can be deleted completely. One can replace it with 
something similar to the `concept` of C++.
`@safe @nogc pure nothrow auto ref fuck(ref int x) return ref 
scope;`.
What can be deleted from this thing?
May be we only need to keep `auto`, and at most keep the `@safe` 
series, and all the rest are deducted.
It's better to delete it all. It's too ugly.
nothrow, pure, @nogc,... should all be the default.
Provide the user with a script to update the default.