error: Unnecessary `>= y + 1` or `x - 1 >=`
  --> $DIR/int_plus_one.rs:10:5
   |
10 |     x >= y + 1;
   |     ^^^^^^^^^^
   |
   = note: `-D clippy::int-plus-one` implied by `-D warnings`
help: change `>= y + 1` to `> y` as shown
   |
10 |     x > y;
   |     ^^^^^

error: Unnecessary `>= y + 1` or `x - 1 >=`
  --> $DIR/int_plus_one.rs:11:5
   |
11 |     y + 1 <= x;
   |     ^^^^^^^^^^
help: change `>= y + 1` to `> y` as shown
   |
11 |     y < x;
   |     ^^^^^

error: Unnecessary `>= y + 1` or `x - 1 >=`
  --> $DIR/int_plus_one.rs:13:5
   |
13 |     x - 1 >= y;
   |     ^^^^^^^^^^
help: change `>= y + 1` to `> y` as shown
   |
13 |     x > y;
   |     ^^^^^

error: Unnecessary `>= y + 1` or `x - 1 >=`
  --> $DIR/int_plus_one.rs:14:5
   |
14 |     y <= x - 1;
   |     ^^^^^^^^^^
help: change `>= y + 1` to `> y` as shown
   |
14 |     y < x;
   |     ^^^^^

error: aborting due to 4 previous errors