Local functions infer attributes?

[Trass3r via Digitalmars-d]

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.