Attribute inference for auto functions?

[Andrei Alexandrescu]

On 4/18/13 2:38 AM, Walter Bright wrote:
> 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.

Thanks Kenji for a surgical destruction.

Andrei