From e698ca1246d546532dfc966a228c54918989c1b2 Mon Sep 17 00:00:00 2001 From: sun-jacobi Date: Thu, 22 Aug 2024 16:20:18 +0200 Subject: [PATCH] fix a misleading comment in TB tests --- src/tools/miri/tests/pass/tree_borrows/tree-borrows.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri/tests/pass/tree_borrows/tree-borrows.rs b/src/tools/miri/tests/pass/tree_borrows/tree-borrows.rs index adad18c1af36..c741e4de6d5b 100644 --- a/src/tools/miri/tests/pass/tree_borrows/tree-borrows.rs +++ b/src/tools/miri/tests/pass/tree_borrows/tree-borrows.rs @@ -321,7 +321,7 @@ fn not_unpin_not_protected() { pub struct NotUnpin(#[allow(dead_code)] i32, PhantomPinned); fn inner(x: &mut NotUnpin, f: fn(&mut NotUnpin)) { - // `f` may mutate, but it may not deallocate! + // `f` is allowed to deallocate `x`. f(x) }