--- /dev/null
+error: Unnecessary `>= y + 1` or `x - 1 >=`
+ --> $DIR/int_plus_one.rs:10:5
+ |
+10 | x >= y + 1;
+ | ^^^^^^^^^^
+ |
+ = note: `-D int-plus-one` implied by `-D warnings`
+ = help: Consider reducing `x >= y + 1` or `x - 1 >= y` to `x > y`
+
+error: Unnecessary `>= y + 1` or `x - 1 >=`
+ --> $DIR/int_plus_one.rs:11:5
+ |
+11 | y + 1 <= x;
+ | ^^^^^^^^^^
+ |
+ = help: Consider reducing `x >= y + 1` or `x - 1 >= y` to `x > y`
+
+error: Unnecessary `>= y + 1` or `x - 1 >=`
+ --> $DIR/int_plus_one.rs:13:5
+ |
+13 | x - 1 >= y;
+ | ^^^^^^^^^^
+ |
+ = help: Consider reducing `x >= y + 1` or `x - 1 >= y` to `x > y`
+
+error: Unnecessary `>= y + 1` or `x - 1 >=`
+ --> $DIR/int_plus_one.rs:14:5
+ |
+14 | y <= x - 1;
+ | ^^^^^^^^^^
+ |
+ = help: Consider reducing `x >= y + 1` or `x - 1 >= y` to `x > y`
+
+error: aborting due to 4 previous errors
+