From 7065239da55420e26adb7cb647fc7eb4e9c8798e Mon Sep 17 00:00:00 2001 From: Lzu Tao Date: Thu, 15 Aug 2019 10:53:11 +0700 Subject: Add option_and_then_some lint --- clippy_dev/src/lib.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'clippy_dev/src') 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 { 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() -- cgit 1.4.1-3-g733a5