diff options
| author | Steve Klabnik <steve@steveklabnik.com> | 2015-09-30 18:20:03 -0400 |
|---|---|---|
| committer | Steve Klabnik <steve@steveklabnik.com> | 2015-09-30 18:20:03 -0400 |
| commit | 8382bc915c34bea953266cfb4f02771d98dacd99 (patch) | |
| tree | d15c2793f6a3b320fb12bfc6bdd75f9f81b7dd8c /src/libcore | |
| parent | b6449eba518d6714c05a96d2645655303556c737 (diff) | |
| parent | 3e9b993925477a3c4506b02373c75605fe17c2f0 (diff) | |
| download | rust-8382bc915c34bea953266cfb4f02771d98dacd99.tar.gz rust-8382bc915c34bea953266cfb4f02771d98dacd99.zip | |
Rollup merge of #28760 - steveklabnik:gh28166, r=alexcrichton
Fixes #28166
Diffstat (limited to 'src/libcore')
| -rw-r--r-- | src/libcore/cmp.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libcore/cmp.rs b/src/libcore/cmp.rs index 3344d7ea5d7..fa1f4727bc0 100644 --- a/src/libcore/cmp.rs +++ b/src/libcore/cmp.rs @@ -218,7 +218,7 @@ impl PartialOrd for Ordering { /// /// 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 `>`. /// /// Note that these requirements mean that the trait itself must be implemented symmetrically and |
