On Sunday, 1 September 2013 at 09:24:46 UTC, Jacob Carlborg wrote:
On 2013-09-01 01:09, Andrei Alexandrescu wrote:
Oh I see. Yes, if we do find a way to define scope to provide
guarantees, that would be awesome.
How about this:
...
It is pretty much the meaning I have assumed when collaborating
on `scope ref` DIP. Only problem here is, again (and again),
attribute inference - using scope variables will require
annotating most part of Phobos with `scope` function parameter
attributes to be usable.