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