dip25 implementation

[Steven Schveighoffer via Digitalmars-d]

How complete is the dip25 implementation?

For example, should this be expected to be an error?

struct S
{
   int[5] x;
   auto foo() { return x[];}
}

I'll note, that dmd 2.067.0 with -dip25 considered this an error, head 
does not. Adding a 'return' to the foo attributes fixes it in 2.067, but...

auto getS()
{
    S s;
    return s.foo();
}

does not error in either version, even with the return attribute.

-Steve