tests/ui/int_plus_one.stderr

   1 warning: running cargo clippy on a crate that also imports the clippy plugin
   2
   3 error: Unnecessary `>= y + 1` or `x - 1 >=`
   4   --> $DIR/int_plus_one.rs:10:5
   5    |
   6 10 |     x >= y + 1;
   7    |     ^^^^^^^^^^
   8    |
   9    = note: `-D int-plus-one` implied by `-D warnings`
  10 help: change `>= y + 1` to `> y` as shown
  11    |
  12 10 |     x > y;
  13    |     ^^^^^
  14
  15 error: Unnecessary `>= y + 1` or `x - 1 >=`
  16   --> $DIR/int_plus_one.rs:11:5
  17    |
  18 11 |     y + 1 <= x;
  19    |     ^^^^^^^^^^
  20    |
  21 help: change `>= y + 1` to `> y` as shown
  22    |
  23 11 |     y < x;
  24    |     ^^^^^
  25
  26 error: Unnecessary `>= y + 1` or `x - 1 >=`
  27   --> $DIR/int_plus_one.rs:13:5
  28    |
  29 13 |     x - 1 >= y;
  30    |     ^^^^^^^^^^
  31    |
  32 help: change `>= y + 1` to `> y` as shown
  33    |
  34 13 |     x > y;
  35    |     ^^^^^
  36
  37 error: Unnecessary `>= y + 1` or `x - 1 >=`
  38   --> $DIR/int_plus_one.rs:14:5
  39    |
  40 14 |     y <= x - 1;
  41    |     ^^^^^^^^^^
  42    |
  43 help: change `>= y + 1` to `> y` as shown
  44    |
  45 14 |     y < x;
  46    |     ^^^^^
  47