Attribute inference for auto functions?

[Jesse Phillips]

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

It wouldn't break the code though. It would change the meaning, 
but the code would compile just as it did before.