Proposal: 'auto' members and returning 'auto' instances

[Rémy Mouëza]

This seems to be like a kind of C++ "const" for memory à la D. Would these auto
variables complicate the type system, as in C++ ? Could it be done using some
"scope ( exit ) { delete var1, var2, var... ; }" ?
This extended use of auto may add some ambiguities with the "auto" type
inference.  This latter may use an other keyword like "let" to have things like:
let sc = new SomeClass (); // type inference, with an Ocaml look. 
auto let sc = new SomeAutoClass (); // auto variable and type inference.