diff options
| author | Lzu Tao <taolzu@gmail.com> | 2019-08-15 10:53:11 +0700 |
|---|---|---|
| committer | Lzu Tao <taolzu@gmail.com> | 2019-08-19 03:54:40 +0000 |
| commit | 7065239da55420e26adb7cb647fc7eb4e9c8798e (patch) | |
| tree | 9dfb12798a488e266c1cd7e52ea6ebd35fcb9972 /clippy_dev/src/lib.rs | |
| parent | f01a0c0e08b5905f174d30201b0cb927f5cad500 (diff) | |
| download | rust-7065239da55420e26adb7cb647fc7eb4e9c8798e.tar.gz rust-7065239da55420e26adb7cb647fc7eb4e9c8798e.zip | |
Add option_and_then_some lint
Diffstat (limited to 'clippy_dev/src/lib.rs')
| -rw-r--r-- | clippy_dev/src/lib.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/clippy_dev/src/lib.rs b/clippy_dev/src/lib.rs index db407565b19..b53a5579971 100644 --- a/clippy_dev/src/lib.rs +++ b/clippy_dev/src/lib.rs @@ -123,13 +123,13 @@ pub fn gen_deprecated(lints: &[Lint]) -> Vec<String> { lints .iter() .filter_map(|l| { - l.clone().deprecation.and_then(|depr_text| { - Some(vec![ + l.clone().deprecation.map(|depr_text| { + vec![ " store.register_removed(".to_string(), format!(" \"clippy::{}\",", l.name), format!(" \"{}\",", depr_text), " );".to_string(), - ]) + ] }) }) .flatten() |