Andrei Alexandrescu wrote: > If we use @safe and @trusted to indicate unequivocally "no escape", then > there is no analysis to be done - the hard part of the analysis has > already been done manually by the user. The problem then becomes: T[] foo(T[] t) { return t; } T[] bar() { T[3] a; return foo(a); }