On Saturday, 30 August 2014 at 17:55:04 UTC, Nordlöw wrote:
On Saturday, 30 August 2014 at 17:31:54 UTC, monarch_dodra
wrote:
Really, it's lose-lose. The only (AFAIK) solution is to
migrate AA's to a template-library that individually infers
the correct safety for every types.
Isn't there anyway to say that rehash() should infer safeness
from typeinfo(T).hash() provided that its safeness is visible
in the call context?
Maybe. The compiler might be able to do it. But that would only
add more compiler support for AA's, when we are trying to phase
that out.
