diff options
| author | Ralf Jung <post@ralfj.de> | 2023-11-25 08:03:51 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-11-25 08:03:51 +0100 |
| commit | 2df4fc0e8b6210b9f2807b26717000f3c69034a4 (patch) | |
| tree | 32ecf5871bb661308ce3d0aaa6acea261acd7e61 | |
| parent | a4a294aa8d653656329f06a12f87025b22b2ef45 (diff) | |
fmt
| -rw-r--r-- | src/tools/miri/src/provenance_gc.rs | 5 |
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 { |
