Fix linting errors (#318)

* Fix linting error * Fix linting errors
2025-08-22 15:04:04 +00:00 · 2021-06-22 07:49:25 +02:00 · 2021-06-22 07:49:25 +02:00 · d8775e2815
commit d8775e2815
parent 56e50dccd4
3 changed files with 16 additions and 26 deletions
--- a/src/parser.rs
+++ b/src/parser.rs
@ -2358,8 +2358,7 @@ impl<'a> Parser<'a> {
                        ]) // This couldn't possibly be a bad idea
                    })?
                    .into_iter()
-                    .filter(|i| i.is_some())
-                    .map(|i| i.unwrap())
+                    .flatten()
                    .collect();

                lateral_views.push(LateralView {