]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #5587 : thestinger/rust/total, r=pcwalton
authorbors <bors@rust-lang.org>
Thu, 28 Mar 2013 09:36:49 +0000 (02:36 -0700)
committerbors <bors@rust-lang.org>
Thu, 28 Mar 2013 09:36:49 +0000 (02:36 -0700)
This is needed so that hash tables can require strict equality but not require types to be ordered. It's a subset of the functionality of `TotalOrd` so I made that inherit from `TotalEq`.


Trivial merge