Attribute inference for auto functions?

[Walter Bright]

On 4/17/2013 11:34 PM, deadalnix wrote:
> 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.

It is fixable if it is special cased, but special cases stink.