2020-03-05 18:35:05 +00:00
|
|
|
// run-rustfix
|
|
|
|
#![warn(clippy::option_if_let_else)]
|
2021-10-04 21:49:53 +00:00
|
|
|
#![allow(clippy::redundant_closure, clippy::ref_option_ref, clippy::equatable_if_let)]
|
2020-03-05 18:35:05 +00:00
|
|
|
|
|
|
|
fn bad1(string: Option<&str>) -> (bool, &str) {
|
|
|
|
if let Some(x) = string {
|
|
|
|
(true, x)
|
|
|
|
} else {
|
|
|
|
(false, "hello")
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-04-25 16:08:23 +00:00
|
|
|
fn else_if_option(string: Option<&str>) -> Option<(bool, &str)> {
|
2020-04-25 15:32:33 +00:00
|
|
|
if string.is_none() {
|
|
|
|
None
|
|
|
|
} else if let Some(x) = string {
|
|
|
|
Some((true, x))
|
|
|
|
} else {
|
|
|
|
Some((false, ""))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-05-10 03:20:57 +00:00
|
|
|
fn unop_bad(string: &Option<&str>, mut num: Option<i32>) {
|
2020-05-10 03:44:56 +00:00
|
|
|
let _ = if let Some(s) = *string { s.len() } else { 0 };
|
|
|
|
let _ = if let Some(s) = &num { s } else { &0 };
|
2020-05-10 03:20:57 +00:00
|
|
|
let _ = if let Some(s) = &mut num {
|
|
|
|
*s += 1;
|
|
|
|
s
|
|
|
|
} else {
|
|
|
|
&mut 0
|
|
|
|
};
|
2020-05-10 03:44:56 +00:00
|
|
|
let _ = if let Some(ref s) = num { s } else { &0 };
|
2020-05-10 03:20:57 +00:00
|
|
|
let _ = if let Some(mut s) = num {
|
|
|
|
s += 1;
|
|
|
|
s
|
|
|
|
} else {
|
|
|
|
0
|
|
|
|
};
|
|
|
|
let _ = if let Some(ref mut s) = num {
|
|
|
|
*s += 1;
|
|
|
|
s
|
|
|
|
} else {
|
|
|
|
&mut 0
|
|
|
|
};
|
2020-04-25 16:08:23 +00:00
|
|
|
}
|
|
|
|
|
2020-03-05 18:35:05 +00:00
|
|
|
fn longer_body(arg: Option<u32>) -> u32 {
|
|
|
|
if let Some(x) = arg {
|
|
|
|
let y = x * x;
|
|
|
|
y * y
|
|
|
|
} else {
|
|
|
|
13
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-08-21 22:43:04 +00:00
|
|
|
fn impure_else(arg: Option<i32>) {
|
|
|
|
let side_effect = || {
|
|
|
|
println!("return 1");
|
|
|
|
1
|
|
|
|
};
|
|
|
|
let _ = if let Some(x) = arg {
|
|
|
|
x
|
|
|
|
} else {
|
|
|
|
// map_or_else must be suggested
|
|
|
|
side_effect()
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2020-03-05 18:35:05 +00:00
|
|
|
fn test_map_or_else(arg: Option<u32>) {
|
|
|
|
let _ = if let Some(x) = arg {
|
|
|
|
x * x * x * x
|
|
|
|
} else {
|
|
|
|
let mut y = 1;
|
|
|
|
y = (y + 2 / y) / 2;
|
|
|
|
y = (y + 2 / y) / 2;
|
|
|
|
y
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
fn negative_tests(arg: Option<u32>) -> u32 {
|
|
|
|
let _ = if let Some(13) = arg { "unlucky" } else { "lucky" };
|
|
|
|
for _ in 0..10 {
|
|
|
|
let _ = if let Some(x) = arg {
|
|
|
|
x
|
|
|
|
} else {
|
|
|
|
continue;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
let _ = if let Some(x) = arg {
|
|
|
|
return x;
|
|
|
|
} else {
|
|
|
|
5
|
|
|
|
};
|
|
|
|
7
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
let optional = Some(5);
|
|
|
|
let _ = if let Some(x) = optional { x + 2 } else { 5 };
|
|
|
|
let _ = bad1(None);
|
2020-04-25 16:08:23 +00:00
|
|
|
let _ = else_if_option(None);
|
2020-05-10 03:20:57 +00:00
|
|
|
unop_bad(&None, None);
|
2020-03-05 18:35:05 +00:00
|
|
|
let _ = longer_body(None);
|
|
|
|
test_map_or_else(None);
|
|
|
|
let _ = negative_tests(None);
|
2020-08-21 22:43:04 +00:00
|
|
|
let _ = impure_else(None);
|
2021-08-16 19:42:52 +00:00
|
|
|
|
|
|
|
let _ = if let Some(x) = Some(0) {
|
|
|
|
loop {
|
|
|
|
if x == 0 {
|
|
|
|
break x;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
0
|
|
|
|
};
|
|
|
|
|
|
|
|
// #7576
|
|
|
|
const fn _f(x: Option<u32>) -> u32 {
|
|
|
|
// Don't lint, `map_or` isn't const
|
|
|
|
if let Some(x) = x { x } else { 10 }
|
|
|
|
}
|
|
|
|
|
|
|
|
// #5822
|
|
|
|
let s = String::new();
|
|
|
|
// Don't lint, `Some` branch consumes `s`, but else branch uses `s`
|
|
|
|
let _ = if let Some(x) = Some(0) {
|
|
|
|
let s = s;
|
|
|
|
s.len() + x
|
|
|
|
} else {
|
|
|
|
s.len()
|
|
|
|
};
|
|
|
|
|
|
|
|
let s = String::new();
|
|
|
|
// Lint, both branches immutably borrow `s`.
|
|
|
|
let _ = if let Some(x) = Some(0) { s.len() + x } else { s.len() };
|
|
|
|
|
|
|
|
let s = String::new();
|
|
|
|
// Lint, `Some` branch consumes `s`, but else branch doesn't use `s`.
|
|
|
|
let _ = if let Some(x) = Some(0) {
|
|
|
|
let s = s;
|
|
|
|
s.len() + x
|
|
|
|
} else {
|
|
|
|
1
|
|
|
|
};
|
|
|
|
|
|
|
|
let s = Some(String::new());
|
|
|
|
// Don't lint, `Some` branch borrows `s`, but else branch consumes `s`
|
|
|
|
let _ = if let Some(x) = &s {
|
|
|
|
x.len()
|
|
|
|
} else {
|
|
|
|
let _s = s;
|
|
|
|
10
|
|
|
|
};
|
2021-08-26 15:27:43 +00:00
|
|
|
|
|
|
|
let mut s = Some(String::new());
|
|
|
|
// Don't lint, `Some` branch mutably borrows `s`, but else branch also borrows `s`
|
|
|
|
let _ = if let Some(x) = &mut s {
|
|
|
|
x.push_str("test");
|
|
|
|
x.len()
|
|
|
|
} else {
|
|
|
|
let _s = &s;
|
|
|
|
10
|
|
|
|
};
|
|
|
|
|
|
|
|
async fn _f1(x: u32) -> u32 {
|
|
|
|
x
|
|
|
|
}
|
|
|
|
|
|
|
|
async fn _f2() {
|
|
|
|
// Don't lint. `await` can't be moved into a closure.
|
|
|
|
let _ = if let Some(x) = Some(0) { _f1(x).await } else { 0 };
|
|
|
|
}
|
2020-03-05 18:35:05 +00:00
|
|
|
}
|