On 7/9/2014 7:37 AM, Timon Gehr wrote:
On 07/08/2014 11:22 PM, Walter Bright wrote:
3. 'ref' means 'borrowed', to use Rust's terminology
We're almost there with this. This means better escape analysis, too.
What makes you think that 'ref' is a good match for this functionality, and how
are we almost there with this?
'ref' is already used conventionally in such a manner as implying it is
borrowed. 'ref' pointers cannot be stored, and one cannot take the address of a
ref'd variable in @safe code.
8. NotNull!T type
For those that want a non-nullable reference type. This should be doable
as a library type.
No.
Rationale?
