Skip to content

Commit cff5a7c

Browse files
author
The Miri Cronjob Bot
committed
fmt
1 parent 3d8d4d4 commit cff5a7c

File tree

1 file changed

+2
-4
lines changed
  • src/tools/miri/src/borrow_tracker/tree_borrows

1 file changed

+2
-4
lines changed

src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -468,10 +468,8 @@ trait EvalContextPrivExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
468468
// - when `extern type` is involved we use the size of the known prefix,
469469
// - if the pointer is not reborrowed (raw pointer) then we override the size
470470
// to do a zero-length reborrow.
471-
let reborrow_size = this
472-
.size_and_align_of_val(place)?
473-
.map(|(size, _)| size)
474-
.unwrap_or(place.layout.size);
471+
let reborrow_size =
472+
this.size_and_align_of_val(place)?.map(|(size, _)| size).unwrap_or(place.layout.size);
475473
trace!("Creating new permission: {:?} with size {:?}", new_perm, reborrow_size);
476474

477475
// This new tag is not guaranteed to actually be used.

0 commit comments

Comments
 (0)