rust/tests/ui/eq_op.rs

121 lines
2.8 KiB
Rust
Raw Normal View History

2018-10-06 11:18:06 -05: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.
#[rustfmt::skip]
2018-07-28 10:34:52 -05:00
#[warn(clippy::eq_op)]
#[allow(clippy::identity_op, clippy::double_parens, clippy::many_single_char_names)]
#[allow(clippy::no_effect, unused_variables, clippy::unnecessary_operation, clippy::short_circuit_statement)]
#[warn(clippy::nonminimal_bool)]
fn main() {
// simple values and comparisons
2017-02-08 07:58:07 -06:00
1 == 1;
"no" == "no";
// even though I agree that no means no ;-)
2017-02-08 07:58:07 -06:00
false != false;
1.5 < 1.5;
1u64 >= 1u64;
// casts, methods, parentheses
2017-02-08 07:58:07 -06:00
(1 as u64) & (1 as u64);
1 ^ ((((((1))))));
// unary and binary operators
2017-02-08 07:58:07 -06:00
(-(2) < -(2));
((1 + 1) & (1 + 1) == (1 + 1) & (1 + 1));
2017-02-08 07:58:07 -06:00
(1 * 2) + (3 * 4) == 1 * 2 + 3 * 4;
// various other things
2017-02-08 07:58:07 -06:00
([1] != [1]);
((1, 2) != (1, 2));
vec![1, 2, 3] == vec![1, 2, 3]; //no error yet, as we don't match macros
2015-08-21 05:26:03 -05:00
// const folding
2017-02-08 07:58:07 -06:00
1 + 1 == 2;
1 - 1 == 0;
1 - 1;
1 / 1;
true && true;
true || true;
2016-02-03 13:42:05 -06:00
2016-01-30 13:10:14 -06:00
let a: u32 = 0;
let b: u32 = 0;
2017-02-08 07:58:07 -06:00
a == b && b == a;
a != b && b != a;
a < b && b > a;
a <= b && b >= a;
2016-01-30 13:10:14 -06:00
let mut a = vec![1];
2017-02-08 07:58:07 -06:00
a == a;
2016-01-30 13:10:14 -06:00
2*a.len() == 2*a.len(); // ok, functions
a.pop() == a.pop(); // ok, functions
2017-04-28 10:07:39 -05:00
use std::ops::BitAnd;
struct X(i32);
impl BitAnd for X {
type Output = X;
fn bitand(self, rhs: X) -> X {
X(self.0 & rhs.0)
}
}
impl<'a> BitAnd<&'a X> for X {
type Output = X;
fn bitand(self, rhs: &'a X) -> X {
X(self.0 & rhs.0)
}
}
let x = X(1);
let y = X(2);
let z = x & &y;
#[derive(Copy, Clone)]
struct Y(i32);
impl BitAnd for Y {
type Output = Y;
fn bitand(self, rhs: Y) -> Y {
Y(self.0 & rhs.0)
}
}
impl<'a> BitAnd<&'a Y> for Y {
type Output = Y;
fn bitand(self, rhs: &'a Y) -> Y {
Y(self.0 & rhs.0)
}
}
let x = Y(1);
let y = Y(2);
let z = x & &y;
check_ignore_macro();
// named constants
const A: u32 = 10;
const B: u32 = 10;
const C: u32 = A / B; // ok, different named constants
const D: u32 = A / A;
}
#[rustfmt::skip]
macro_rules! check_if_named_foo {
($expression:expr) => (
if stringify!($expression) == "foo" {
println!("foo!");
} else {
println!("not foo.");
}
)
}
fn check_ignore_macro() {
check_if_named_foo!(foo);
}