Why this code fail?

[Andrea Fontana]

class A
{
        auto foo()
        out(result){}
        body { return 42; }
}

void main(string[] args) { }

if you replace "auto" with "int" it works...