2023-04-20 09:37:15 -05:00
|
|
|
//@run-rustfix
|
2019-04-16 13:42:54 -05:00
|
|
|
|
2020-10-24 02:31:32 -05:00
|
|
|
#![warn(clippy::bool_comparison)]
|
|
|
|
|
2019-04-16 13:42:54 -05:00
|
|
|
fn main() {
|
|
|
|
let x = true;
|
|
|
|
if x {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
if !x {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
if x {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
if !x {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
if !x {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
if x {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
if !x {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
if x {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
if !x {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
if x {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
if x {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
if !x {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
let y = true;
|
|
|
|
if !x & y {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
if x & !y {
|
|
|
|
"yes"
|
|
|
|
} else {
|
|
|
|
"no"
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(dead_code)]
|
|
|
|
fn issue3703() {
|
|
|
|
struct Foo;
|
|
|
|
impl PartialEq<bool> for Foo {
|
|
|
|
fn eq(&self, _: &bool) -> bool {
|
|
|
|
true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
impl PartialEq<Foo> for bool {
|
|
|
|
fn eq(&self, _: &Foo) -> bool {
|
|
|
|
true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
impl PartialOrd<bool> for Foo {
|
|
|
|
fn partial_cmp(&self, _: &bool) -> Option<std::cmp::Ordering> {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
impl PartialOrd<Foo> for bool {
|
|
|
|
fn partial_cmp(&self, _: &Foo) -> Option<std::cmp::Ordering> {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if Foo == true {}
|
|
|
|
if true == Foo {}
|
|
|
|
if Foo != true {}
|
|
|
|
if true != Foo {}
|
|
|
|
if Foo == false {}
|
|
|
|
if false == Foo {}
|
|
|
|
if Foo != false {}
|
|
|
|
if false != Foo {}
|
|
|
|
if Foo < false {}
|
|
|
|
if false < Foo {}
|
|
|
|
}
|
2020-03-23 14:29:12 -05:00
|
|
|
|
2020-03-23 15:21:18 -05:00
|
|
|
#[allow(dead_code)]
|
2020-03-23 14:29:12 -05:00
|
|
|
fn issue4983() {
|
|
|
|
let a = true;
|
|
|
|
let b = false;
|
|
|
|
|
2020-03-23 15:00:02 -05:00
|
|
|
if a != b {};
|
|
|
|
if a != b {};
|
2020-03-23 14:29:12 -05:00
|
|
|
if a == b {};
|
|
|
|
if !a == !b {};
|
2020-03-23 15:21:18 -05:00
|
|
|
|
|
|
|
if b != a {};
|
|
|
|
if b != a {};
|
|
|
|
if b == a {};
|
|
|
|
if !b == !a {};
|
2020-03-23 14:29:12 -05:00
|
|
|
}
|
2020-10-24 02:31:32 -05:00
|
|
|
|
|
|
|
macro_rules! m {
|
|
|
|
($func:ident) => {
|
|
|
|
$func()
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
fn func() -> bool {
|
|
|
|
true
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(dead_code)]
|
|
|
|
fn issue3973() {
|
|
|
|
// ok, don't lint on `cfg` invocation
|
|
|
|
if false == cfg!(feature = "debugging") {}
|
|
|
|
if cfg!(feature = "debugging") == false {}
|
|
|
|
if true == cfg!(feature = "debugging") {}
|
|
|
|
if cfg!(feature = "debugging") == true {}
|
|
|
|
|
|
|
|
// lint, could be simplified
|
|
|
|
if !m!(func) {}
|
|
|
|
if !m!(func) {}
|
|
|
|
if m!(func) {}
|
|
|
|
if m!(func) {}
|
|
|
|
|
|
|
|
// no lint with a variable
|
|
|
|
let is_debug = false;
|
|
|
|
if is_debug == cfg!(feature = "debugging") {}
|
|
|
|
if cfg!(feature = "debugging") == is_debug {}
|
|
|
|
if is_debug == m!(func) {}
|
|
|
|
if m!(func) == is_debug {}
|
|
|
|
let is_debug = true;
|
|
|
|
if is_debug == cfg!(feature = "debugging") {}
|
|
|
|
if cfg!(feature = "debugging") == is_debug {}
|
|
|
|
if is_debug == m!(func) {}
|
|
|
|
if m!(func) == is_debug {}
|
|
|
|
}
|