From e8f0cec6dbaa7df94eb67d06776e7c2b6ddec482 Mon Sep 17 00:00:00 2001 From: Cole Helbling Date: Mon, 17 May 2021 13:49:11 -0700 Subject: [PATCH] Fix filter_map_identity clippy lint --- ofborg/src/commentparser.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ofborg/src/commentparser.rs b/ofborg/src/commentparser.rs index a0447b7..31e7989 100644 --- a/ofborg/src/commentparser.rs +++ b/ofborg/src/commentparser.rs @@ -48,7 +48,7 @@ named!( value!(None, many_till!(take!(1), tag_no_case!("@grahamcofborg"))) ) )))) >> eof!() - >> (Some(res.into_iter().filter_map(|x| x).collect())) + >> (Some(res.into_iter().flatten().collect())) ) | value!(None) ) );