about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2023-11-25 08:03:51 +0100
committerRalf Jung <post@ralfj.de>2023-11-25 08:03:51 +0100
commit2df4fc0e8b6210b9f2807b26717000f3c69034a4 (patch)
tree32ecf5871bb661308ce3d0aaa6acea261acd7e61
parenta4a294aa8d653656329f06a12f87025b22b2ef45 (diff)
fmt
-rw-r--r--src/tools/miri/src/provenance_gc.rs5
1 files changed, 1 insertions, 4 deletions
diff --git a/src/tools/miri/src/provenance_gc.rs b/src/tools/miri/src/provenance_gc.rs
index b5106c22740..ab178f82d9f 100644
--- a/src/tools/miri/src/provenance_gc.rs
+++ b/src/tools/miri/src/provenance_gc.rs
@@ -194,10 +194,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
 
     fn remove_unreachable_allocs(&mut self, allocs: FxHashSet<AllocId>) {
         let this = self.eval_context_mut();
-        let allocs = LiveAllocs {
-            ecx: this,
-            collected: allocs,
-        };
+        let allocs = LiveAllocs { ecx: this, collected: allocs };
         this.machine.allocation_spans.borrow_mut().retain(|id, _| allocs.is_live(*id));
         this.machine.intptrcast.borrow_mut().remove_unreachable_allocs(&allocs);
         if let Some(borrow_tracker) = &this.machine.borrow_tracker {