Breaking backwards compatiblity

[Mantis]

10.03.2012 3:01, Adam D. Ruppe пишет:
> On Saturday, 10 March 2012 at 00:48:56 UTC, Jonathan M Davis wrote:
>> From the  sounds of it, Adam thinks that it's bad
>
> Indeed. I have an advantage here though: it is an
> objective fact that -property breaks a lot of existing
> D code.
>
> We can (and have) argue(d) all day about what, if
> any, improvements strict enforcement actually brings.

Arguments are same as before, I believe:
//
alias int delegate() dg_t;

@property dg_t foo() {
     return { return 42; };
}

int main() {
     auto a = foo();
     return 0;
}
//
What should be the type of a?