2016-03-25 02:42:27 -07:00
|
|
|
#![feature(plugin)]
|
|
|
|
|
#![plugin(clippy)]
|
|
|
|
|
|
|
|
|
|
#![deny(invalid_upcast_comparisons)]
|
|
|
|
|
#![allow(unused, eq_op, no_effect)]
|
|
|
|
|
fn main() {
|
|
|
|
|
let zero: u32 = 0;
|
|
|
|
|
let u8_max: u8 = 255;
|
|
|
|
|
|
2016-03-25 22:57:03 -07:00
|
|
|
(u8_max as u32) > 300; //~ERROR because of the numeric bounds on `u8_max` prior to casting, this expression is always false
|
2016-03-25 02:42:27 -07:00
|
|
|
(u8_max as u32) > 20;
|
|
|
|
|
|
2016-03-25 22:57:03 -07:00
|
|
|
(zero as i32) < -5; //~ERROR because of the numeric bounds on `zero` prior to casting, this expression is always false
|
2016-03-25 02:42:27 -07:00
|
|
|
(zero as i32) < 10;
|
2016-03-25 15:47:27 -07:00
|
|
|
|
2016-03-25 22:57:03 -07:00
|
|
|
-5 < (zero as i32); //~ERROR because of the numeric bounds on `zero` prior to casting, this expression is always true
|
|
|
|
|
0 <= (zero as i32); //~ERROR because of the numeric bounds on `zero` prior to casting, this expression is always true
|
2016-03-25 15:47:27 -07:00
|
|
|
0 < (zero as i32);
|
2016-03-25 02:42:27 -07:00
|
|
|
}
|