//@run-rustfix #![warn(clippy::needless_bool)] #![allow( unused, dead_code, clippy::no_effect, clippy::if_same_then_else, clippy::equatable_if_let, clippy::needless_return, clippy::self_named_constructors )] use std::cell::Cell; macro_rules! bool_comparison_trigger { ($($i:ident: $def:expr, $stb:expr );+ $(;)*) => ( #[derive(Clone)] pub struct Trigger { $($i: (Cell, bool, bool)),+ } #[allow(dead_code)] impl Trigger { pub fn trigger(&self, key: &str) -> bool { $( if let stringify!($i) = key { return self.$i.1 && self.$i.2 == $def; } )+ false } } ) } fn main() { let x = true; let y = false; if x { true } else { false }; if x { false } else { true }; if x && y { false } else { true }; let a = 0; let b = 1; if a == b { false } else { true }; if a != b { false } else { true }; if a < b { false } else { true }; if a <= b { false } else { true }; if a > b { false } else { true }; if a >= b { false } else { true }; if x { x } else { false }; // would also be questionable, but we don't catch this yet bool_ret3(x); bool_ret4(x); bool_ret5(x, x); bool_ret6(x, x); needless_bool(x); needless_bool2(x); needless_bool3(x); needless_bool_condition(); } fn bool_ret3(x: bool) -> bool { if x { return true; } else { return false; }; } fn bool_ret4(x: bool) -> bool { if x { return false; } else { return true; }; } fn bool_ret5(x: bool, y: bool) -> bool { if x && y { return true; } else { return false; }; } fn bool_ret6(x: bool, y: bool) -> bool { if x && y { return false; } else { return true; }; } fn needless_bool(x: bool) { if x == true {}; } fn needless_bool2(x: bool) { if x == false {}; } fn needless_bool3(x: bool) { bool_comparison_trigger! { test_one: false, false; test_three: false, false; test_two: true, true; } if x == true {}; if x == false {}; } fn needless_bool_in_the_suggestion_wraps_the_predicate_of_if_else_statement_in_brackets() { let b = false; let returns_bool = || false; let x = if b { true } else if returns_bool() { false } else { true }; } unsafe fn no(v: u8) -> u8 { v } #[allow(clippy::unnecessary_operation)] fn needless_bool_condition() -> bool { if unsafe { no(4) } & 1 != 0 { true } else { false }; let _brackets_unneeded = if unsafe { no(4) } & 1 != 0 { true } else { false }; fn foo() -> bool { // parentheses are needed here if unsafe { no(4) } & 1 != 0 { true } else { false } } foo() }