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.
