Local functions infer attributes?

[Walter Bright via Digitalmars-d]

On 9/27/2014 10:48 PM, deadalnix wrote:
> On Sunday, 28 September 2014 at 04:04:24 UTC, Walter Bright wrote:
>> On 9/27/2014 8:50 PM, deadalnix wrote:
>>> On Sunday, 28 September 2014 at 03:08:09 UTC, Walter Bright wrote:
>>>> Since the function body is always present, inference should always be done. It
>>>> isn't costly. Should file an enhancement request on this.
>>>
>>> If you have a control flow graph to analyze it can become quite costly.
>>
>> Nope! It happens as part of semantic analysis.
>
> Obviously, it does. The complexity of the computation still can go quite high.

If you look at how it is currently implemented, you'll see it doesn't go high.