blob: a9e059f4a3eddde5fde2901c18f6cc71b7845342 [file] [log] [blame]
#[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
}