about summary refs log tree commit diff
diff options
context:
space:
mode:
authorThe Miri Cronjob Bot <miri@cron.bot>2025-06-28 05:03:27 +0000
committerThe Miri Cronjob Bot <miri@cron.bot>2025-06-28 05:03:27 +0000
commitcff5a7cb2974ca7c98073b0b3be263afc4759dbc (patch)
tree60371160a986472e5d859e89fa683abe44e909b2
parent3d8d4d4545996f6b43c47d1f0b867dacf20a5b48 (diff)
downloadrust-cff5a7cb2974ca7c98073b0b3be263afc4759dbc.tar.gz
rust-cff5a7cb2974ca7c98073b0b3be263afc4759dbc.zip
fmt
-rw-r--r--src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs6
1 files changed, 2 insertions, 4 deletions
diff --git a/src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs b/src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs
index 99171b0349e..a0761cb07a1 100644
--- a/src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs
+++ b/src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs
@@ -468,10 +468,8 @@ trait EvalContextPrivExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
         // - when `extern type` is involved we use the size of the known prefix,
         // - if the pointer is not reborrowed (raw pointer) then we override the size
         //   to do a zero-length reborrow.
-        let reborrow_size = this
-            .size_and_align_of_val(place)?
-            .map(|(size, _)| size)
-            .unwrap_or(place.layout.size);
+        let reborrow_size =
+            this.size_and_align_of_val(place)?.map(|(size, _)| size).unwrap_or(place.layout.size);
         trace!("Creating new permission: {:?} with size {:?}", new_perm, reborrow_size);
 
         // This new tag is not guaranteed to actually be used.