From f9af18ab2e2effef3c3e1cd3dfbabf4f725ce917 Mon Sep 17 00:00:00 2001 From: Johannes Hostert Date: Wed, 4 Dec 2024 14:10:29 +0100 Subject: [PATCH] final nit Co-authored-by: Ralf Jung --- src/borrow_tracker/tree_borrows/tree.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/borrow_tracker/tree_borrows/tree.rs b/src/borrow_tracker/tree_borrows/tree.rs index 558dcdfbdd..6d4ec36f7b 100644 --- a/src/borrow_tracker/tree_borrows/tree.rs +++ b/src/borrow_tracker/tree_borrows/tree.rs @@ -642,6 +642,7 @@ impl<'tcx> Tree { // Record whether we did any change; if not, the invariant is restored and we can stop the traversal. let mut any_change = false; for (_, map) in self.rperms.iter_mut_all() { + // Check if this node has a state for this location (or range of locations). if let Some(perm) = map.get_mut(current) { // Update the per-location SIFA, recording if it changed. any_change |=