RFC: scope and borrowing

[bearophile via Digitalmars-d]

Marc Schütz:

> http://wiki.dlang.org/User:Schuetzm/scope

It looks nice. But perhaps it needs some kind of proof of 
correctness.

Have you read the old blog posts (written before the creation of 
Rust) by Bartosz Milewski regarding the borrowing in D?


>Implementation of this feature is possible without doing flow 
>control or interprocedural analysis.<

I remember that Walter has recently said that he's willing to add 
some kind of flow analysis to the D front-end.

Bye,
bearophile