#[allow(no_effect, unnecessary_operation)]
#[warn(int_plus_one)]
fn main() {
let x = 1i32;
let y = 0i32;
x >= y + 1;
y + 1 <= x;
x - 1 >= y;
y <= x - 1;
x > y; // should be ok
y < x; // should be ok
}