Jonathan M Davis:
there's no way for the compiler to always catch it for you.<
I think there are type systems able to always catch this kind of bug (conservative region analysis, it means that if it can't demonstrate the memory doesn't escape, it prudently refuses the code). D doesn't have such kind of type system.
Bye, bearophile
