diff options
Diffstat (limited to 'src/tools/clippy/tests/ui/manual_filter_map.rs')
| -rw-r--r-- | src/tools/clippy/tests/ui/manual_filter_map.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/clippy/tests/ui/manual_filter_map.rs b/src/tools/clippy/tests/ui/manual_filter_map.rs index 2692303d3..6dd1e066a 100644 --- a/src/tools/clippy/tests/ui/manual_filter_map.rs +++ b/src/tools/clippy/tests/ui/manual_filter_map.rs @@ -2,6 +2,7 @@ #![allow(dead_code)] #![warn(clippy::manual_filter_map)] #![allow(clippy::redundant_closure)] // FIXME suggestion may have redundant closure +#![allow(clippy::useless_vec)] fn main() { // is_some(), unwrap() |