Auto merge of #106139 - cjgillot:mir-inline-location, r=eholk

[rust.git] / src / tools / miri / src / borrow_tracker / stacked_borrows / diagnostics.rs

diff --git a/src/tools/miri/src/borrow_tracker/stacked_borrows/diagnostics.rs b/src/tools/miri/src/borrow_tracker/stacked_borrows/diagnostics.rs
index 24b3489e0d1d67e61503017feb699a39bfc0b7f7..5f132bf11a92ae5758f5443f33af30ee371a8a61 100644 (file)
--- a/src/tools/miri/src/borrow_tracker/stacked_borrows/diagnostics.rs
+++ b/src/tools/miri/src/borrow_tracker/stacked_borrows/diagnostics.rs
@@ -462,7 +462,9 @@ pub fn check_tracked_tag_popped(&self, item: &Item, global: &GlobalStateInner) {
             Operation::Retag(RetagOp { orig_tag, permission, new_tag, .. }) => {
                 let permission = permission
                     .expect("start_grant should set the current permission before popping a tag");
-                format!(" due to {permission:?} retag from {orig_tag:?} (that retag created {new_tag:?})")
+                format!(
+                    " due to {permission:?} retag from {orig_tag:?} (that retag created {new_tag:?})"
+                )
             }
         };