From 68ad99cd59383ff816f2ecafa4aa894b64dd84af Mon Sep 17 00:00:00 2001
From: Vincent Lafeychine <vincent.lafeychine@proton.me>
Date: Sun, 14 Apr 2024 19:38:45 +0200
Subject: [PATCH] clippy: Fix redundant_locals

---
 rr_frontend/.cargo/config.toml                           | 1 -
 rr_frontend/translation/src/environment/polonius_info.rs | 1 -
 2 files changed, 2 deletions(-)

diff --git a/rr_frontend/.cargo/config.toml b/rr_frontend/.cargo/config.toml
index 3b3b0054..fe82a017 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 c88caf5e..8b2abe27 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 {
-- 
GitLab