diff options
Diffstat (limited to 'clippy_dev/src')
| -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() |