Re: Short list with things to finish for D2

[Walter Bright]

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);
}