2017-09-18 10:47:33 +00:00
|
|
|
|
|
|
|
|
2017-05-17 12:19:44 +00:00
|
|
|
#![warn(needless_bool)]
|
2015-05-01 22:35:49 +00:00
|
|
|
|
2016-01-30 18:16:49 +00:00
|
|
|
#[allow(if_same_then_else)]
|
2015-05-01 22:35:49 +00:00
|
|
|
fn main() {
|
2015-08-11 18:22:20 +00:00
|
|
|
let x = true;
|
2016-07-03 23:17:31 +00:00
|
|
|
let y = false;
|
2017-02-08 13:58:07 +00:00
|
|
|
if x { true } else { true };
|
|
|
|
if x { false } else { false };
|
2016-03-14 16:13:10 +00:00
|
|
|
if x { true } else { false };
|
|
|
|
if x { false } else { true };
|
2016-07-03 23:17:31 +00:00
|
|
|
if x && y { false } else { true };
|
2015-08-11 18:22:20 +00:00
|
|
|
if x { x } else { false }; // would also be questionable, but we don't catch this yet
|
2016-03-14 15:41:41 +00:00
|
|
|
bool_ret(x);
|
|
|
|
bool_ret2(x);
|
|
|
|
bool_ret3(x);
|
2016-07-03 23:17:31 +00:00
|
|
|
bool_ret5(x, x);
|
2016-03-14 15:41:41 +00:00
|
|
|
bool_ret4(x);
|
2016-07-03 23:17:31 +00:00
|
|
|
bool_ret6(x, x);
|
2016-03-14 15:41:41 +00:00
|
|
|
}
|
|
|
|
|
2016-06-28 13:54:23 +00:00
|
|
|
#[allow(if_same_then_else, needless_return)]
|
2016-03-14 15:41:41 +00:00
|
|
|
fn bool_ret(x: bool) -> bool {
|
2016-06-28 13:54:23 +00:00
|
|
|
if x { return true } else { return true };
|
2016-03-14 15:41:41 +00:00
|
|
|
}
|
|
|
|
|
2016-06-28 13:54:23 +00:00
|
|
|
#[allow(if_same_then_else, needless_return)]
|
2016-03-14 15:41:41 +00:00
|
|
|
fn bool_ret2(x: bool) -> bool {
|
2016-06-28 13:54:23 +00:00
|
|
|
if x { return false } else { return false };
|
2016-03-14 15:41:41 +00:00
|
|
|
}
|
|
|
|
|
2016-06-28 13:54:23 +00:00
|
|
|
#[allow(needless_return)]
|
2016-03-14 15:41:41 +00:00
|
|
|
fn bool_ret3(x: bool) -> bool {
|
2016-03-14 16:13:10 +00:00
|
|
|
if x { return true } else { return false };
|
2016-07-03 23:17:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(needless_return)]
|
|
|
|
fn bool_ret5(x: bool, y: bool) -> bool {
|
|
|
|
if x && y { return true } else { return false };
|
2016-03-14 15:41:41 +00:00
|
|
|
}
|
|
|
|
|
2016-06-28 13:54:23 +00:00
|
|
|
#[allow(needless_return)]
|
2016-03-14 15:41:41 +00:00
|
|
|
fn bool_ret4(x: bool) -> bool {
|
2016-03-14 16:13:10 +00:00
|
|
|
if x { return false } else { return true };
|
2016-07-03 23:17:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(needless_return)]
|
|
|
|
fn bool_ret6(x: bool, y: bool) -> bool {
|
|
|
|
if x && y { return false } else { return true };
|
2015-05-01 22:35:49 +00:00
|
|
|
}
|