1
1
//! Testing utilities
2
2
3
3
#![ allow( dead_code) ]
4
+ // FIXME: Or don't. But it's true this is a problematic comparison.
5
+ #![ allow( clippy:: neg_cmp_op_on_partial_ord) ]
4
6
5
7
use crate :: { cmp:: PartialOrd , fmt:: Debug , LexicographicallyOrdered } ;
6
8
@@ -19,14 +21,19 @@ pub fn test_lt<T>(
19
21
assert ! ( a <= b, "{:?}, {:?}" , a, b) ;
20
22
assert ! ( b >= a, "{:?}, {:?}" , a, b) ;
21
23
22
- // Irreflexivity
23
- assert ! ( !( a < a) , "{:?}, {:?}" , a, b) ;
24
- assert ! ( !( b < b) , "{:?}, {:?}" , a, b) ;
25
- assert ! ( !( a > a) , "{:?}, {:?}" , a, b) ;
26
- assert ! ( !( b > b) , "{:?}, {:?}" , a, b) ;
24
+ // The elegance of the mathematical expression of irreflexivity is more
25
+ // than clippy can handle.
26
+ #[ allow( clippy:: eq_op) ]
27
+ {
28
+ // Irreflexivity
29
+ assert ! ( !( a < a) , "{:?}, {:?}" , a, b) ;
30
+ assert ! ( !( b < b) , "{:?}, {:?}" , a, b) ;
31
+ assert ! ( !( a > a) , "{:?}, {:?}" , a, b) ;
32
+ assert ! ( !( b > b) , "{:?}, {:?}" , a, b) ;
27
33
28
- assert ! ( a <= a, "{:?}, {:?}" , a, b) ;
29
- assert ! ( b <= b, "{:?}, {:?}" , a, b) ;
34
+ assert ! ( a <= a, "{:?}, {:?}" , a, b) ;
35
+ assert ! ( b <= b, "{:?}, {:?}" , a, b) ;
36
+ }
30
37
}
31
38
32
39
/// Tests PartialOrd for `a` and `b` where `a <= b` is true.
@@ -38,8 +45,8 @@ pub fn test_le<T>(
38
45
assert ! ( a <= b, "{:?}, {:?}" , a, b) ;
39
46
assert ! ( b >= a, "{:?}, {:?}" , a, b) ;
40
47
41
- assert ! ( a == b || a < b, "{:?}, {:?}" , a, b) ;
42
- assert ! ( a == b || b > a, "{:?}, {:?}" , a, b) ;
48
+ assert ! ( a <= b, "{:?}, {:?}" , a, b) ;
49
+ assert ! ( b >= a, "{:?}, {:?}" , a, b) ;
43
50
44
51
if a == b {
45
52
assert ! ( !( a < b) , "{:?}, {:?}" , a, b) ;
0 commit comments