On 24 April 2013 04:01, Andrei Alexandrescu <SeeWebsiteForEmail@erdani.org> wrote:

On 4/23/13 1:57 PM, Steven Schveighoffer wrote:

On Tue, 23 Apr 2013 13:33:31 -0400, Andrei Alexandrescu
<SeeWebsiteForEmail@erdani.org> wrote:

Our intent is to make "ref" always scoped and reserve non-scoped uses
to pointers.

So no more returning ref?

If we can't return ref, ref has failed. (This is what makes the entire thing difficult btw.)

I think the key that's not in this DIP is that it should also return 'scope ref' to maintain the safety.

This brings the proposal in-line with your plans, except the safety is explicit, and the option is available to the programmer.

Making 'safe' ref the default is a major breaking change.