Auto merge of #803 - gurry:fix-mut-warning, r=compiler-errors

Remove an unnecessary mut and fix warning Fixes a `variable does not need to be mutable` warning
rust-lang · Oct 5, 2023 · 749714f · 749714f
2 parents 48f8151 + 40ff5b7
commit 749714f
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/chalk-engine/src/logic.rs b/chalk-engine/src/logic.rs
@@ -1310,10 +1310,7 @@ impl<'forest, I: Interner> SolveState<'forest, I> {
         }
     }
 
-    fn select_subgoal(
-        &mut self,
-        mut canonical_strand: &mut CanonicalStrand<I>,
-    ) -> SubGoalSelection {
+    fn select_subgoal(&mut self, canonical_strand: &mut CanonicalStrand<I>) -> SubGoalSelection {
         loop {
             while canonical_strand.value.selected_subgoal.is_none() {
                 if canonical_strand.value.ex_clause.subgoals.is_empty() {