std::hashmap should use TotalEq #5283
Description
This would avoid the problem discussed in #4510 by just not using partial ordering as a way to implement maps.
{{ message }}
This would avoid the problem discussed in #4510 by just not using partial ordering as a way to implement maps.