diff --git a/rr_frontend/.cargo/config.toml b/rr_frontend/.cargo/config.toml
index 3b3b0054a71ff4bcce132005ab53b0af6f8879d3..fe82a017790a165aa55e15168e8880bccfc141a8 100644
--- a/rr_frontend/.cargo/config.toml
+++ b/rr_frontend/.cargo/config.toml
@@ -27,7 +27,6 @@ rustflags = [
     "-Aclippy::useless_format",
 
     # clippy::correctness
-    "-Aclippy::redundant_locals",
     "-Aclippy::unused_io_amount",
 
     # clippy::nursery
diff --git a/rr_frontend/translation/src/environment/polonius_info.rs b/rr_frontend/translation/src/environment/polonius_info.rs
index c88caf5eb9508742871983e0ddacfafb38e9dbcf..8b2abe278b730c6e76298c9d6e95b376537fa76f 100644
--- a/rr_frontend/translation/src/environment/polonius_info.rs
+++ b/rr_frontend/translation/src/environment/polonius_info.rs
@@ -1119,7 +1119,6 @@ impl<'a, 'tcx: 'a> PoloniusInfo<'a, 'tcx> {
             return Ok(None);
         };
         let (dest, source) = assignment.as_assign().unwrap();
-        let dest = dest;
         let source = source.clone();
         let location = self.loan_position[loan];
         Ok(Some(LoanPlaces {