Andrei Alexandrescu:
I agree. This is one of those cases in which a good engineering solution may be a lot better than the "perfect" solution (and linear types are not even perfect...).
I am sure you are aware that the solution you are talking about is rather more complex (for both final programmers and language implementators) than the Rust solution.
Bye, bearophile
