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
|
|
|
|
2019-08-18 02:24:30 -05:00
|
|
|
let _ = x >= y + 1;
|
|
|
|
let _ = y + 1 <= x;
|
2017-09-17 11:27:40 -05:00
|
|
|
|
2019-08-18 02:24:30 -05:00
|
|
|
let _ = x - 1 >= y;
|
|
|
|
let _ = y <= x - 1;
|
2017-09-17 11:27:40 -05:00
|
|
|
|
2019-08-18 02:24:30 -05:00
|
|
|
let _ = x > y; // should be ok
|
|
|
|
let _ = y < x; // should be ok
|
2017-09-17 11:27:40 -05:00
|
|
|
}
|