Re: Implicit conversions for AA keys

[Timon Gehr]

Why do you not just do the conversion and then compute the hash, even if 
the representation is the same?