<div dir="ltr">On 24 April 2013 04:01, Andrei Alexandrescu <span dir="ltr"><<a href="mailto:SeeWebsiteForEmail@erdani.org" target="_blank">SeeWebsiteForEmail@erdani.org</a>></span> wrote:<br><div class="gmail_extra">
<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 4/23/13 1:57 PM, Steven Schveighoffer wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Tue, 23 Apr 2013 13:33:31 -0400, Andrei Alexandrescu<br>
<<a href="mailto:SeeWebsiteForEmail@erdani.org" target="_blank">SeeWebsiteForEmail@erdani.org</a><u></u>> wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Our intent is to make "ref" always scoped and reserve non-scoped uses<br>
to pointers.<br>
</blockquote>
<br>
So no more returning ref?<br>
</blockquote>
<br></div>
If we can't return ref, ref has failed. (This is what makes the entire thing difficult btw.)</blockquote><div><br></div><div style>I think the key that's not in this DIP is that it should also return 'scope ref' to maintain the safety.</div>
<div style>This brings the proposal in-line with your plans, except the safety is explicit, and the option is available to the programmer.</div><div style><br></div><div style>Making 'safe' ref the default is a major breaking change.</div>
</div></div></div>