toHash => pure, nothrow, const, @safe

[Peter Alexander]

On Monday, 12 March 2012 at 09:40:15 UTC, Walter Bright wrote:
> On 3/12/2012 1:08 AM, Martin Nowak wrote:
>> What's wrong with auto-inference. Inferred attributes are only 
>> strengthening
>> guarantees.
>
> Auto-inference is currently done for lambdas and template 
> functions - why? - because the function's implementation is 
> guaranteed to be visible to the compiler. For other functions, 
> not so, and so the attributes must be part of the function 
> signature.

Dumb question:

Why not auto-infer when the function body is available, and put 
the inferred attributes into the automatically generated .di file?

Apologies if I've missed something completely obvious.