Re: Is @safe still a work-in-progress?

[Mike Franklin via Digitalmars-d]

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