2015-05-01 22:35:49 +00:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
2016-06-28 13:54:23 +00:00
|
|
|
#![deny(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;
|
2015-08-13 07:44:03 +00:00
|
|
|
if x { true } else { true }; //~ERROR this if-then-else expression will always return true
|
|
|
|
if x { false } else { false }; //~ERROR this if-then-else expression will always return false
|
2016-03-14 16:13:10 +00:00
|
|
|
if x { true } else { false };
|
|
|
|
//~^ ERROR this if-then-else expression returns a bool literal
|
|
|
|
//~| HELP you can reduce it to
|
2016-07-03 23:17:31 +00:00
|
|
|
//~| SUGGESTION x
|
2016-03-14 16:13:10 +00:00
|
|
|
if x { false } else { true };
|
|
|
|
//~^ ERROR this if-then-else expression returns a bool literal
|
|
|
|
//~| HELP you can reduce it to
|
2016-07-03 23:17:31 +00:00
|
|
|
//~| SUGGESTION !x
|
|
|
|
if x && y { false } else { true };
|
|
|
|
//~^ ERROR this if-then-else expression returns a bool literal
|
|
|
|
//~| HELP you can reduce it to
|
|
|
|
//~| SUGGESTION !(x && y)
|
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 };
|
|
|
|
//~^ ERROR this if-then-else expression will always 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 };
|
|
|
|
//~^ ERROR this if-then-else expression will always 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 };
|
|
|
|
//~^ ERROR this if-then-else expression returns a bool literal
|
|
|
|
//~| HELP you can reduce it to
|
2016-07-03 23:17:31 +00:00
|
|
|
//~| SUGGESTION return x
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(needless_return)]
|
|
|
|
fn bool_ret5(x: bool, y: bool) -> bool {
|
|
|
|
if x && y { return true } else { return false };
|
|
|
|
//~^ ERROR this if-then-else expression returns a bool literal
|
|
|
|
//~| HELP you can reduce it to
|
|
|
|
//~| SUGGESTION return x && y
|
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 };
|
|
|
|
//~^ ERROR this if-then-else expression returns a bool literal
|
|
|
|
//~| HELP you can reduce it to
|
2016-07-03 23:17:31 +00:00
|
|
|
//~| SUGGESTION return !x
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(needless_return)]
|
|
|
|
fn bool_ret6(x: bool, y: bool) -> bool {
|
|
|
|
if x && y { return false } else { return true };
|
|
|
|
//~^ ERROR this if-then-else expression returns a bool literal
|
|
|
|
//~| HELP you can reduce it to
|
|
|
|
//~| SUGGESTION return !(x && y)
|
2015-05-01 22:35:49 +00:00
|
|
|
}
|