2015-04-30 09:48:43 +00:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
|
|
|
|
|
|
|
#[deny(eq_op)]
|
2016-12-28 20:04:46 +00:00
|
|
|
#[allow(identity_op, double_parens)]
|
2016-12-29 23:00:55 +00:00
|
|
|
#[allow(no_effect, unused_variables, unnecessary_operation, short_circuit_statement)]
|
2016-03-23 13:50:47 +00:00
|
|
|
#[deny(nonminimal_bool)]
|
2015-04-30 09:48:43 +00:00
|
|
|
fn main() {
|
2015-08-11 18:22:20 +00:00
|
|
|
// simple values and comparisons
|
2015-08-13 06:12:07 +00:00
|
|
|
1 == 1; //~ERROR equal expressions
|
|
|
|
"no" == "no"; //~ERROR equal expressions
|
2015-08-11 18:22:20 +00:00
|
|
|
// even though I agree that no means no ;-)
|
2015-08-13 06:12:07 +00:00
|
|
|
false != false; //~ERROR equal expressions
|
|
|
|
1.5 < 1.5; //~ERROR equal expressions
|
|
|
|
1u64 >= 1u64; //~ERROR equal expressions
|
2015-08-11 18:22:20 +00:00
|
|
|
|
2015-08-13 07:44:03 +00:00
|
|
|
// casts, methods, parentheses
|
2015-08-13 06:12:07 +00:00
|
|
|
(1 as u64) & (1 as u64); //~ERROR equal expressions
|
|
|
|
1 ^ ((((((1)))))); //~ERROR equal expressions
|
2015-08-11 18:22:20 +00:00
|
|
|
|
|
|
|
// unary and binary operators
|
2015-08-13 06:12:07 +00:00
|
|
|
(-(2) < -(2)); //~ERROR equal expressions
|
2015-04-30 09:48:43 +00:00
|
|
|
((1 + 1) & (1 + 1) == (1 + 1) & (1 + 1));
|
2016-02-03 19:42:05 +00:00
|
|
|
//~^ ERROR equal expressions as operands to `==`
|
|
|
|
//~^^ ERROR equal expressions as operands to `&`
|
|
|
|
//~^^^ ERROR equal expressions as operands to `&`
|
2015-08-13 06:12:07 +00:00
|
|
|
(1 * 2) + (3 * 4) == 1 * 2 + 3 * 4; //~ERROR equal expressions
|
2015-08-11 18:22:20 +00:00
|
|
|
|
|
|
|
// various other things
|
2015-08-13 06:12:07 +00:00
|
|
|
([1] != [1]); //~ERROR equal expressions
|
|
|
|
((1, 2) != (1, 2)); //~ERROR equal expressions
|
2015-04-30 09:48:43 +00:00
|
|
|
vec![1, 2, 3] == vec![1, 2, 3]; //no error yet, as we don't match macros
|
2015-08-21 10:26:03 +00:00
|
|
|
|
|
|
|
// const folding
|
|
|
|
1 + 1 == 2; //~ERROR equal expressions
|
2016-02-03 19:42:05 +00:00
|
|
|
1 - 1 == 0; //~ERROR equal expressions as operands to `==`
|
|
|
|
//~^ ERROR equal expressions as operands to `-`
|
|
|
|
|
|
|
|
1 - 1; //~ERROR equal expressions
|
|
|
|
1 / 1; //~ERROR equal expressions
|
|
|
|
true && true; //~ERROR equal expressions
|
2016-03-23 13:50:47 +00:00
|
|
|
//~|ERROR this boolean expression can be simplified
|
2016-02-03 19:42:05 +00:00
|
|
|
true || true; //~ERROR equal expressions
|
2016-03-23 13:50:47 +00:00
|
|
|
//~|ERROR this boolean expression can be simplified
|
2016-01-30 19:10:14 +00:00
|
|
|
|
2016-11-16 20:57:56 +00:00
|
|
|
let a: u32 = 0;
|
|
|
|
let b: u32 = 0;
|
2016-03-24 15:11:38 +00:00
|
|
|
|
|
|
|
a == b && b == a; //~ERROR equal expressions
|
|
|
|
//~|ERROR this boolean expression can be simplified
|
|
|
|
a != b && b != a; //~ERROR equal expressions
|
|
|
|
//~|ERROR this boolean expression can be simplified
|
|
|
|
a < b && b > a; //~ERROR equal expressions
|
|
|
|
//~|ERROR this boolean expression can be simplified
|
|
|
|
a <= b && b >= a; //~ERROR equal expressions
|
|
|
|
//~|ERROR this boolean expression can be simplified
|
|
|
|
|
2016-01-30 19:10:14 +00:00
|
|
|
let mut a = vec![1];
|
|
|
|
a == a; //~ERROR equal expressions
|
|
|
|
2*a.len() == 2*a.len(); // ok, functions
|
|
|
|
a.pop() == a.pop(); // ok, functions
|
2015-04-30 09:48:43 +00:00
|
|
|
}
|