Attribute inference for auto functions?

[deadalnix]

On Thursday, 18 April 2013 at 05:59:20 UTC, kenji hara wrote:
> It will break existing code.
>
> int foo() {
>     typeof(return) bar() { return 1; }
>     return bar();
> }
>
> typeof(return) represents the return type of foo, that is int.
>

That is true :( Don't seem fixable.