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...