Michael Recachinas d7ea6addf0 (#1955): Suggests x > y over x >= y + 1 for ints
This module handles the following cases:
- `... >= ... + 1` and `... >= 1 + ...`
- `... - 1 >= ...` and `-1 + ... >= ...`
- `... + 1 <= ...` and `... + 1 <= ...`
- `... <= ... - 1` and `... <= -1 + ...`

Note: this only goes 1 level deep (i.e., does not constant-fold) and
does not currently simplify expressions. Examples of these
cases include:
```rust
let x = 1;
y >= y + x; // won't catch this case or any permutation

x + 1 >= y + 2; // won't catch this case

x + 1 - 1 >= y - 1 + 1; // WILL catch this case when it likely shouldn't
```
2017-09-17 17:18:12 +01:00
..
2017-09-13 15:34:04 +02:00
2017-09-12 19:08:18 +03:00
2017-09-05 12:39:27 +02:00
2017-09-13 15:34:04 +02:00
2017-09-05 12:39:27 +02:00
2017-09-12 14:38:59 +02:00
2017-09-09 01:23:08 -04:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-13 15:34:04 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-13 15:34:04 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-12 14:38:59 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-13 15:34:04 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-09 01:23:08 -04:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-12 14:38:59 +02:00
2017-09-12 14:38:59 +02:00
2017-09-05 12:39:27 +02:00
2017-09-12 14:38:59 +02:00
2017-09-05 12:39:27 +02:00
2017-08-14 09:43:26 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-12 14:38:59 +02:00
2017-09-13 15:34:04 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-13 15:34:04 +02:00
2017-09-12 14:38:59 +02:00
2017-09-16 14:50:07 +09:00
2017-09-12 14:38:59 +02:00
2017-09-05 12:39:27 +02:00
2017-09-13 15:34:04 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-12 14:38:59 +02:00
2017-08-14 09:43:26 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-12 14:38:59 +02:00
2017-09-09 01:23:08 -04:00
2017-09-05 12:39:27 +02:00
2017-09-12 14:38:59 +02:00
2017-09-10 19:32:24 +02:00
2017-09-13 15:34:04 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-09 01:23:08 -04:00
2017-09-05 12:39:27 +02:00
2017-08-31 14:47:45 +02:00
2017-09-05 12:39:27 +02:00
2017-09-12 14:38:59 +02:00
2017-09-13 15:34:04 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-05 12:39:27 +02:00
2017-09-13 15:34:04 +02:00
2017-09-05 12:39:27 +02:00