This means Identity compares bits, Equality offers a user-provided equality, and Hash works to facilitate patterns such as identical || equal that are commonly found in hash-based collections.
[x] check and test that contains uses identical || equal
[x] rename has to includes, check and test that it uses identical
[x] add missing blanket impls for Identity, because the compiler does not derive them automatically right now
note: all tests should include special floating-point values (zeros, NaNs, infinities).
soc
commented
9 months ago
Let's avoid a design embarrassment such as https://github.com/rust-lang/rfcs/pull/3535 and ensure/test that the semantics work correctly as specified in https://soc.me/languages/equality-and-identity-part3.
This means
Identitycompares bits,Equalityoffers a user-provided equality, andHashworks to facilitate patterns such asidentical || equalthat are commonly found in hash-based collections.containsusesidentical || equalhastoincludes, check and test that it usesidenticalIdentity, because the compiler does not derive them automatically right nownote: all tests should include special floating-point values (zeros, NaNs, infinities).