diff --git a/rr_frontend/.cargo/config.toml b/rr_frontend/.cargo/config.toml
index fe85ef68aa823997101dbdb5cc249f433efc3b11..a119b1c31f4cb79095aadad3a12860118d589dfc 100644
--- a/rr_frontend/.cargo/config.toml
+++ b/rr_frontend/.cargo/config.toml
@@ -16,7 +16,7 @@ rustflags = [
     # Rust warnings
     "-Ddead_code",
     "-Adeprecated",
-    "-Aunused_imports",
+    "-Dunused_imports",
     "-Aunused_mut",
     "-Aunused_variables",
 
diff --git a/rr_frontend/attribute_parse/src/parse.rs b/rr_frontend/attribute_parse/src/parse.rs
index de262be52b8551f6aca2c6f54fa2cfb8c4225ba8..be3077f9c3ff9d7c2759f4324fba70a9d95decb7 100644
--- a/rr_frontend/attribute_parse/src/parse.rs
+++ b/rr_frontend/attribute_parse/src/parse.rs
@@ -442,8 +442,6 @@ macro_rules! MToken {
     [_]           => { $crate::parse::Underscore };
 }
 
-pub(crate) use MToken;
-
 pub struct LitStr {
     sym: Symbol,
 }
diff --git a/rr_frontend/translation/src/arg_folder.rs b/rr_frontend/translation/src/arg_folder.rs
index 91c9666183f87a74a8c58012a059ecfb95185d16..fde2ec7b21a8c4d6cad5d74f328f9fc7bc9cce00 100644
--- a/rr_frontend/translation/src/arg_folder.rs
+++ b/rr_frontend/translation/src/arg_folder.rs
@@ -1,5 +1,5 @@
 use rustc_middle::ty::visit::*;
-use rustc_middle::ty::{self, Binder, GenericArg, GenericArgKind, ParamConst, Ty, TyCtxt, TypeFolder};
+use rustc_middle::ty::{self, GenericArg, GenericArgKind, ParamConst, Ty, TyCtxt, TypeFolder};
 pub use rustc_type_ir::fold::{TypeFoldable, TypeSuperFoldable};
 pub use rustc_type_ir::visit::{TypeSuperVisitable, TypeVisitable, TypeVisitor};
 
diff --git a/rr_frontend/translation/src/base.rs b/rr_frontend/translation/src/base.rs
index 514d78c473a48d38531ad5a64fe6e61b59d8a373..d1a3d9661fe5d04ef18ae99e8456e0024d21127d 100644
--- a/rr_frontend/translation/src/base.rs
+++ b/rr_frontend/translation/src/base.rs
@@ -6,7 +6,6 @@
 
 use polonius_engine::FactTypes;
 use rustc_borrowck::consumers::RustcFacts;
-use rustc_middle::mir::Location;
 
 pub type Region = <RustcFacts as FactTypes>::Origin;
 pub type PointIndex = <RustcFacts as FactTypes>::Point;
diff --git a/rr_frontend/translation/src/environment/dump_borrowck_info.rs b/rr_frontend/translation/src/environment/dump_borrowck_info.rs
index 08c356cf391e19236e47b1a69c89141e712f2444..7380af9282647cb3c34606f1e0adbaa085f59311 100644
--- a/rr_frontend/translation/src/environment/dump_borrowck_info.rs
+++ b/rr_frontend/translation/src/environment/dump_borrowck_info.rs
@@ -8,7 +8,6 @@ use std::cell;
 use std::collections::{BTreeMap, BTreeSet, HashMap, HashSet};
 use std::fs::File;
 use std::io::{self, BufWriter, Write};
-use std::path::PathBuf;
 
 use log::{debug, trace};
 use rustc_hash::FxHashMap;
diff --git a/rr_frontend/translation/src/environment/mod.rs b/rr_frontend/translation/src/environment/mod.rs
index dadb1f5376171a7be3f8a34a92c953fb263a9fb7..3ecb3efb3aa6f59c0517cd6e5fe11451d6c76a46 100644
--- a/rr_frontend/translation/src/environment/mod.rs
+++ b/rr_frontend/translation/src/environment/mod.rs
@@ -13,12 +13,10 @@ use std::rc::Rc;
 
 use rustc_ast::ast::Attribute;
 use rustc_hir::def_id::{DefId, LocalDefId};
-use rustc_hir::hir_id::HirId;
 use rustc_middle::mir;
-use rustc_middle::ty::{self, ParamEnv, TyCtxt};
+use rustc_middle::ty::{self, TyCtxt};
 use rustc_span::symbol::Symbol;
 use rustc_span::Span;
-use rustc_trait_selection::infer::{InferCtxtExt, TyCtxtInferExt};
 
 pub mod borrowck;
 mod collect_closure_defs_visitor;
diff --git a/rr_frontend/translation/src/environment/polonius_info.rs b/rr_frontend/translation/src/environment/polonius_info.rs
index 22fee69fe857029df150ebe9389905974c3b086a..389c8404f62c1fdc48874254f75ad73029a2bf13 100644
--- a/rr_frontend/translation/src/environment/polonius_info.rs
+++ b/rr_frontend/translation/src/environment/polonius_info.rs
@@ -5,7 +5,6 @@
 // file, You can obtain one at http://mozilla.org/MPL/2.0/.
 
 use std::collections::{BTreeMap, BTreeSet, HashMap, HashSet};
-use std::path::PathBuf;
 
 use log::{debug, trace};
 use polonius_engine::{Algorithm, Output};
diff --git a/rr_frontend/translation/src/traits.rs b/rr_frontend/translation/src/traits.rs
index 4c472d8533080e2f313a93e3851aa055f91ad63f..72af5778e41bfc2fcfd8784aa251941d1348880a 100644
--- a/rr_frontend/translation/src/traits.rs
+++ b/rr_frontend/translation/src/traits.rs
@@ -4,10 +4,8 @@ use log::info;
 use rustc_hir::def_id::DefId;
 use rustc_infer::infer::TyCtxtInferExt;
 use rustc_middle::ty;
-use rustc_middle::ty::{
-    AssocItem, AssocItemContainer, GenericArgsRef, ParamEnv, TraitRef, TyCtxt, TypeVisitableExt,
-};
-use rustc_trait_selection::traits::{ImplSource, NormalizeExt};
+use rustc_middle::ty::{AssocItemContainer, GenericArgsRef, ParamEnv, TraitRef, TyCtxt, TypeVisitableExt};
+use rustc_trait_selection::traits::ImplSource;
 
 /// Normalize a type in the given environment.
 pub fn normalize_type<'tcx, T>(