2018-07-28 10:34:52 -05:00
|
|
|
#[allow(clippy::no_effect, clippy::unnecessary_operation)]
|
|
|
|
#[warn(clippy::int_plus_one)]
|
2017-09-17 11:27:40 -05:00
|
|
|
fn main() {
|
|
|
|
let x = 1i32;
|
|
|
|
let y = 0i32;
|
2018-10-11 05:16:22 -05:00
|
|
|
|
2017-09-17 11:27:40 -05:00
|
|
|
x >= y + 1;
|
|
|
|
y + 1 <= x;
|
|
|
|
|
|
|
|
x - 1 >= y;
|
|
|
|
y <= x - 1;
|
|
|
|
|
|
|
|
x > y; // should be ok
|
|
|
|
y < x; // should be ok
|
|
|
|
}
|