From a0e0baf5fd2457af727373f9e8b2e061ac9cf054 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Fri, 18 Dec 2020 22:53:45 +0100
Subject: [PATCH] allow clippy::filter_map

---
 clippy_dev/src/crater.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/clippy_dev/src/crater.rs b/clippy_dev/src/crater.rs
index eb301159a7b8..c71eb4b2fa85 100644
--- a/clippy_dev/src/crater.rs
+++ b/clippy_dev/src/crater.rs
@@ -1,6 +1,9 @@
-use crate::clippy_project_root;
+#![allow(clippy::filter_map)]
+
 use std::path::PathBuf;
 use std::process::Command;
+use crate::clippy_project_root;
+
 // represents an archive we download from crates.io
 #[derive(Debug)]
 struct KrateSource {