2018-10-06 16:18:06 +00:00
|
|
|
// Copyright 2014-2018 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
|
|
|
2018-07-28 15:34:52 +00:00
|
|
|
#![feature(tool_lints)]
|
2017-11-14 13:56:00 +00:00
|
|
|
|
|
|
|
|
2018-07-28 15:34:52 +00:00
|
|
|
#[allow(clippy::no_effect, clippy::unnecessary_operation)]
|
|
|
|
#[warn(clippy::int_plus_one)]
|
2017-09-17 16:27:40 +00:00
|
|
|
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
|
|
|
|
}
|