fix two "unnecessary mut" Rust lints

Summary: Two unnecessary `mut` plus `-D warnings` are causing some Hermit code not to build. Reviewed By: VladimirMakaev Differential Revision: D47177379 fbshipit-source-id: 1a58cdbff1c6b275b58a59df7fd01913ad2ca7d5
facebookexperimental · Jul 2, 2023 · 2db9c29 · 2db9c29
1 parent 7dd028f
commit 2db9c29
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/detcore/src/scheduler.rs b/detcore/src/scheduler.rs
@@ -1916,7 +1916,7 @@ impl Scheduler {
     /// Precondition: guest is stopped so that there is no chance the ivars are being used
     /// concurrently while they are being cleared.
     fn clear_nextturn(&mut self, dtid: DetTid) {
-        let mut nextturn = self
+        let nextturn = self
             .next_turns
             .get_mut(&dtid)
             .expect("clear_nextturn: Thread should be available in next_turns");

diff --git a/detcore/src/tool_global.rs b/detcore/src/tool_global.rs
@@ -900,7 +900,7 @@ impl GlobalState {
             );
             d
         };
-        let mut info = mg
+        let info = mg
             .detinodes_info
             .get_mut(&dino)
             // TODO(T87258449): remove this `expect`: