From e9da567f2180efb221fc21fd3b984191123cbc05 Mon Sep 17 00:00:00 2001 From: Johannes Hostert Date: Wed, 4 Dec 2024 15:27:40 +0100 Subject: [PATCH] plus de tweaks --- src/borrow_tracker/tree_borrows/tree.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/borrow_tracker/tree_borrows/tree.rs b/src/borrow_tracker/tree_borrows/tree.rs index bb3e80d551..b60a734efd 100644 --- a/src/borrow_tracker/tree_borrows/tree.rs +++ b/src/borrow_tracker/tree_borrows/tree.rs @@ -159,9 +159,9 @@ impl LocationState { // A foreign access to a `Disabled` tag will have almost no observable effect. // It's a theorem that `Disabled` node have no protected initialized children, // and so this foreign access will never trigger any protector. - // (Intuition: You're either protected initialized, and thus can't become Disabled, - // or you're already Disabled protected, but not initialized, and then can't become - // initialized since that requires a child access, which Disabled blocks.) + // (Intuition: You're either protected initialized, and thus can't become + // or you're already Disabled protected, but not initialized, and then can't + // become initialized since that requires a child access, which Disabled blocks.) // Further, the children will never be able to read or write again, since they // have a `Disabled` parents. So this only affects diagnostics, but the // blocking write will still be identified directly, just at a different tag.