diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-06-28 05:03:27 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-06-28 05:03:27 +0000 |
| commit | cff5a7cb2974ca7c98073b0b3be263afc4759dbc (patch) | |
| tree | 60371160a986472e5d859e89fa683abe44e909b2 | |
| parent | 3d8d4d4545996f6b43c47d1f0b867dacf20a5b48 (diff) | |
| download | rust-cff5a7cb2974ca7c98073b0b3be263afc4759dbc.tar.gz rust-cff5a7cb2974ca7c98073b0b3be263afc4759dbc.zip | |
fmt
| -rw-r--r-- | src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs | 6 |
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. |
