Local functions infer attributes?

[deadalnix via Digitalmars-d]

On Tuesday, 30 September 2014 at 08:33:27 UTC, Trass3r wrote:
> On Sunday, 28 September 2014 at 02:56:57 UTC, deadalnix wrote:
>> Also, inferring everything is quite
>> expensive and we want D to compile fast.
>
> Doesn't the compiler have to do that anyway?
> I'd expect a proper compiler to check if my code is actually 
> what
> I claim it is. It's quite easy to mark something as e.g. nogc in
> the first version and later on add code with allocations.

It is for the function body, but most qualifier are transitive,
so depends on the inference on other function.