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
