toHash => pure, nothrow, const, @safe

[bearophile]

Walter:

> So I propose instead a bit of a hack. toHash, opEquals, and opCmp as struct 
> members be automatically annotated with pure, nothrow, and @safe (if not already 
> marked as @trusted).

Recently I have suggested to deprecate and later remove the need of opCmp for the built-in AAs.

Regarding this hack proposal of yours, I don't fully understand its consequences yet. What are the negative sides of this idea?

Bye,
bearophile