toHash => pure, nothrow, const, @safe

[Alex Rønne Petersen]

On 12-03-2012 10:40, 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.

Isn't auto-inference for templates a Bad Thing (TM) since it may give 
API guarantees that you can end up silently breaking?

-- 
- Alex