On 04/23/2013 07:15 PM, Andrei Alexandrescu wrote:
...The justification is that unsafe uses of ref are few and uninteresting (they can be replaced with pointers).
I don't get this. Uses cannot be "unsafe". They are either correct or wrong.
It would be very powerful to be able to guarantee that safe code can use ref. ...
It is not required to make ref guaranteed safe in @system code to guarantee this.
