diff options
Diffstat (limited to 'src/tools/clippy/tests/ui/manual_filter_map.fixed')
| -rw-r--r-- | src/tools/clippy/tests/ui/manual_filter_map.fixed | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/clippy/tests/ui/manual_filter_map.fixed b/src/tools/clippy/tests/ui/manual_filter_map.fixed index 831323089..9dd376df2 100644 --- a/src/tools/clippy/tests/ui/manual_filter_map.fixed +++ b/src/tools/clippy/tests/ui/manual_filter_map.fixed @@ -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() |