Local functions infer attributes?

[deadalnix via Digitalmars-d]

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.