Prototype of Ownership/Borrowing System for D

[Walter Bright]

On 11/20/2019 5:13 PM, Walter Bright wrote:
> On 11/20/2019 2:57 PM, Manu wrote:
>> Is there a path perhaps where you only attribute parameters instead of
>> the whole function? We already have `scope`, `return`, etc on
>> parameters... ?
> 
> Perhaps. Seems rather tedious, though.

And less auditable. `scope` and `return` are backed up with compiler checks when 
they aren't used. `@live` is conceptually different - it adds checks, it does 
not compensate for added checks.