DIP1000: Scoped Pointers (Discussion)

[Walter Bright via Digitalmars-d]

On 8/12/2016 12:34 PM, Timon Gehr wrote:
> This proposes to add a kind of information the type system is supposed to track
> (lifetimes), which cannot be communicated losslessly across function and
> aggregate boundaries. Hence it won't work well in its current form.

I believe it does track across function boundaries, because function parameters 
can be annotated.

Aggregate boundaries, no, because annotating fields with 'scope' is not allowed, 
like 'ref' fields are not allowed.