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