2023-04-23 11:03:09 +00:00
|
|
|
//@run-rustfix
|
2019-09-25 17:01:21 +00:00
|
|
|
#![warn(clippy::all)]
|
|
|
|
#![warn(clippy::redundant_pattern_matching)]
|
2022-10-06 07:44:38 +00:00
|
|
|
#![allow(deprecated, unused_must_use)]
|
2020-07-14 12:59:59 +00:00
|
|
|
#![allow(
|
2022-10-06 07:44:38 +00:00
|
|
|
clippy::if_same_then_else,
|
2020-07-14 12:59:59 +00:00
|
|
|
clippy::match_like_matches_macro,
|
2022-10-06 07:44:38 +00:00
|
|
|
clippy::needless_bool,
|
2023-07-02 12:35:19 +00:00
|
|
|
clippy::needless_if,
|
2022-10-06 07:44:38 +00:00
|
|
|
clippy::uninlined_format_args,
|
|
|
|
clippy::unnecessary_wraps
|
2020-07-14 12:59:59 +00:00
|
|
|
)]
|
2019-09-25 17:01:21 +00:00
|
|
|
|
|
|
|
fn main() {
|
2020-07-26 19:07:07 +00:00
|
|
|
let result: Result<usize, usize> = Err(5);
|
|
|
|
if result.is_ok() {}
|
|
|
|
|
2020-04-17 10:53:13 +00:00
|
|
|
if Ok::<i32, i32>(42).is_ok() {}
|
2019-09-25 17:01:21 +00:00
|
|
|
|
2020-04-17 10:53:13 +00:00
|
|
|
if Err::<i32, i32>(42).is_err() {}
|
2019-09-25 17:01:21 +00:00
|
|
|
|
2020-04-17 10:53:13 +00:00
|
|
|
while Ok::<i32, i32>(10).is_ok() {}
|
|
|
|
|
|
|
|
while Ok::<i32, i32>(10).is_err() {}
|
|
|
|
|
2019-09-25 17:01:21 +00:00
|
|
|
if Ok::<i32, i32>(42).is_ok() {}
|
|
|
|
|
|
|
|
if Err::<i32, i32>(42).is_err() {}
|
|
|
|
|
|
|
|
if let Ok(x) = Ok::<i32, i32>(42) {
|
|
|
|
println!("{}", x);
|
|
|
|
}
|
|
|
|
|
|
|
|
Ok::<i32, i32>(42).is_ok();
|
|
|
|
|
|
|
|
Ok::<i32, i32>(42).is_err();
|
|
|
|
|
|
|
|
Err::<i32, i32>(42).is_err();
|
|
|
|
|
|
|
|
Err::<i32, i32>(42).is_ok();
|
|
|
|
|
2020-04-17 10:53:13 +00:00
|
|
|
let _ = if Ok::<usize, ()>(4).is_ok() { true } else { false };
|
2019-09-25 17:01:21 +00:00
|
|
|
|
2020-04-23 08:40:16 +00:00
|
|
|
issue5504();
|
2020-09-20 01:32:36 +00:00
|
|
|
issue6067();
|
2020-09-24 12:49:22 +00:00
|
|
|
issue6065();
|
2023-05-20 13:39:26 +00:00
|
|
|
issue10726();
|
2023-06-02 09:41:57 +00:00
|
|
|
issue10803();
|
2020-04-23 08:40:16 +00:00
|
|
|
|
2020-09-24 12:49:22 +00:00
|
|
|
let _ = if gen_res().is_ok() {
|
2020-04-23 08:40:16 +00:00
|
|
|
1
|
|
|
|
} else if gen_res().is_err() {
|
2020-09-24 12:49:22 +00:00
|
|
|
2
|
2020-04-23 08:40:16 +00:00
|
|
|
} else {
|
2020-09-24 12:49:22 +00:00
|
|
|
3
|
2020-04-23 08:40:16 +00:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
fn gen_res() -> Result<(), ()> {
|
|
|
|
Ok(())
|
2019-09-25 17:01:21 +00:00
|
|
|
}
|
|
|
|
|
2020-04-23 08:40:16 +00:00
|
|
|
macro_rules! m {
|
|
|
|
() => {
|
|
|
|
Some(42u32)
|
|
|
|
};
|
2019-09-25 17:01:21 +00:00
|
|
|
}
|
|
|
|
|
2020-04-23 08:40:16 +00:00
|
|
|
fn issue5504() {
|
|
|
|
fn result_opt() -> Result<Option<i32>, i32> {
|
|
|
|
Err(42)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn try_result_opt() -> Result<i32, i32> {
|
2023-03-24 13:04:35 +00:00
|
|
|
while r#try!(result_opt()).is_some() {}
|
|
|
|
if r#try!(result_opt()).is_some() {}
|
2020-04-23 08:40:16 +00:00
|
|
|
Ok(42)
|
|
|
|
}
|
|
|
|
|
|
|
|
try_result_opt();
|
|
|
|
|
|
|
|
if m!().is_some() {}
|
|
|
|
while m!().is_some() {}
|
2019-09-25 17:01:21 +00:00
|
|
|
}
|
2020-06-23 15:05:22 +00:00
|
|
|
|
2020-09-24 12:49:22 +00:00
|
|
|
fn issue6065() {
|
|
|
|
macro_rules! if_let_in_macro {
|
|
|
|
($pat:pat, $x:expr) => {
|
|
|
|
if let Some($pat) = $x {}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
// shouldn't be linted
|
|
|
|
if_let_in_macro!(_, Some(42));
|
|
|
|
}
|
|
|
|
|
2020-09-20 01:32:36 +00:00
|
|
|
// Methods that are unstable const should not be suggested within a const context, see issue #5697.
|
2020-09-24 12:49:22 +00:00
|
|
|
// However, in Rust 1.48.0 the methods `is_ok` and `is_err` of `Result` were stabilized as const,
|
|
|
|
// so the following should be linted.
|
2020-09-20 01:32:36 +00:00
|
|
|
const fn issue6067() {
|
|
|
|
if Ok::<i32, i32>(42).is_ok() {}
|
|
|
|
|
|
|
|
if Err::<i32, i32>(42).is_err() {}
|
|
|
|
|
|
|
|
while Ok::<i32, i32>(10).is_ok() {}
|
|
|
|
|
|
|
|
while Ok::<i32, i32>(10).is_err() {}
|
|
|
|
|
|
|
|
Ok::<i32, i32>(42).is_ok();
|
|
|
|
|
|
|
|
Err::<i32, i32>(42).is_err();
|
|
|
|
}
|
2023-05-20 13:39:26 +00:00
|
|
|
|
|
|
|
fn issue10726() {
|
|
|
|
// This is optional, but it makes the examples easier
|
|
|
|
let x: Result<i32, i32> = Ok(42);
|
|
|
|
|
|
|
|
x.is_ok();
|
|
|
|
|
|
|
|
x.is_err();
|
|
|
|
|
|
|
|
x.is_err();
|
|
|
|
|
|
|
|
x.is_ok();
|
|
|
|
|
|
|
|
// Don't lint
|
|
|
|
match x {
|
|
|
|
Err(16) => false,
|
|
|
|
_ => true,
|
|
|
|
};
|
|
|
|
|
|
|
|
// Don't lint
|
|
|
|
match x {
|
|
|
|
Ok(16) => false,
|
|
|
|
_ => true,
|
|
|
|
};
|
|
|
|
}
|
2023-06-02 09:41:57 +00:00
|
|
|
|
|
|
|
fn issue10803() {
|
|
|
|
let x: Result<i32, i32> = Ok(42);
|
|
|
|
|
|
|
|
let _ = x.is_ok();
|
|
|
|
|
|
|
|
let _ = x.is_err();
|
|
|
|
|
|
|
|
// Don't lint
|
|
|
|
let _ = matches!(x, Ok(16));
|
|
|
|
|
|
|
|
// Don't lint
|
|
|
|
let _ = matches!(x, Err(16));
|
|
|
|
}
|