toHash => pure, nothrow, const, @safe

[Andrei Alexandrescu]

On 3/13/12 6:02 AM, Peter Alexander wrote:
> 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.

Because in the general case functions call one another so there's no way 
to figure which to look at first.

Andrei