Is @safe still a work-in-progress?

[Mike Franklin]

On Wednesday, 22 August 2018 at 09:23:26 UTC, Walter Bright wrote:

>> The proposed idea wants to make the first parameter, if it's 
>> `ref`, special.
>
> This is because Phobos is written with functions of the form:
>
>     void put(sink, parameters...)
>
> which corresponds to:
>
>     sink.put(parameters...)
>
> The two forms are fairly interchangeable, made more so by the 
> Uniform Function Call Syntax.

Makes perfect sense. This is the kind of stuff I'd like you to 
put in a formal document and present to us as an RFC along with 
your PR.  Then transfer that information to the spec to accompany 
the DMD PR, after you've received feedback.

Mike