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