OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Rollup merge of #28760 - steveklabnik:gh28166, r=alexcrichton

Browse Source 
Fixes #28166
This commit is contained in:
Steve Klabnik 2015-09-30 18:20:03 -04:00
commit 8382bc915c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/libcore/cmp.rs
View File

@ -218,7 +218,7 @@ impl PartialOrd for Ordering {
/// ///
/// The comparison must satisfy, for all `a`, `b` and `c`: /// The comparison must satisfy, for all `a`, `b` and `c`:
/// ///
/// - antisymmetry: if `a < b` then `!(a > b)` and vice versa; and /// - antisymmetry: if `a < b` then `!(a > b)`, as well as `a > b` implying `!(a < b)`; and
/// - transitivity: `a < b` and `b < c` implies `a < c`. The same must hold for both `==` and `>`. /// - transitivity: `a < b` and `b < c` implies `a < c`. The same must hold for both `==` and `>`.
/// ///
/// Note that these requirements mean that the trait itself must be implemented symmetrically and /// Note that these requirements mean that the trait itself must be implemented symmetrically and