mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-04 09:53:04 +03:00
4d7d101a76
* `Ord` inherits from `Eq` * `TotalOrd` inherits from `TotalEq` * `TotalOrd` inherits from `Ord` * `TotalEq` inherits from `Eq` This is a partial implementation of #12517.