@@ -260,7 +260,7 @@ impl GlobalStateInner {
260260 kind: MemoryKind,
261261 machine: &MiriMachine<'_>,
262262 ) -> AllocState {
263- let _span = enter_trace_span!(borrow_tracker::new_allocation, ?id, ?alloc_size, ?kind);
263+ let _trace = enter_trace_span!(borrow_tracker::new_allocation, ?id, ?alloc_size, ?kind);
264264 match self.borrow_tracker_method {
265265 BorrowTrackerMethod::StackedBorrows =>
266266 AllocState::StackedBorrows(Box::new(RefCell::new(Stacks::new_allocation(
@@ -281,7 +281,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
281281 kind: RetagKind,
282282 val: &ImmTy<'tcx>,
283283 ) -> InterpResult<'tcx, ImmTy<'tcx>> {
284- let _span = enter_trace_span!(borrow_tracker::retag_ptr_value, ?kind, ?val.layout);
284+ let _trace = enter_trace_span!(borrow_tracker::retag_ptr_value, ?kind, ?val.layout);
285285 let this = self.eval_context_mut();
286286 let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().borrow_tracker_method;
287287 match method {
@@ -295,7 +295,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
295295 kind: RetagKind,
296296 place: &PlaceTy<'tcx>,
297297 ) -> InterpResult<'tcx> {
298- let _span = enter_trace_span!(borrow_tracker::retag_place_contents, ?kind, ?place);
298+ let _trace = enter_trace_span!(borrow_tracker::retag_place_contents, ?kind, ?place);
299299 let this = self.eval_context_mut();
300300 let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().borrow_tracker_method;
301301 match method {
@@ -305,7 +305,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
305305 }
306306
307307 fn protect_place(&mut self, place: &MPlaceTy<'tcx>) -> InterpResult<'tcx, MPlaceTy<'tcx>> {
308- let _span = enter_trace_span!(borrow_tracker::protect_place, ?place);
308+ let _trace = enter_trace_span!(borrow_tracker::protect_place, ?place);
309309 let this = self.eval_context_mut();
310310 let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().borrow_tracker_method;
311311 match method {
@@ -315,7 +315,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
315315 }
316316
317317 fn expose_tag(&self, alloc_id: AllocId, tag: BorTag) -> InterpResult<'tcx> {
318- let _span =
318+ let _trace =
319319 enter_trace_span!(borrow_tracker::expose_tag, alloc_id = alloc_id.0, tag = tag.0);
320320 let this = self.eval_context_ref();
321321 let method = this.machine.borrow_tracker.as_ref().unwrap().borrow().borrow_tracker_method;
@@ -360,7 +360,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
360360 &self,
361361 frame: &Frame<'tcx, Provenance, FrameExtra<'tcx>>,
362362 ) -> InterpResult<'tcx> {
363- let _span = enter_trace_span!(borrow_tracker::on_stack_pop);
363+ let _trace = enter_trace_span!(borrow_tracker::on_stack_pop);
364364 let this = self.eval_context_ref();
365365 let borrow_tracker = this.machine.borrow_tracker.as_ref().unwrap();
366366 // The body of this loop needs `borrow_tracker` immutably
@@ -438,7 +438,7 @@ impl AllocState {
438438 range: AllocRange,
439439 machine: &MiriMachine<'tcx>,
440440 ) -> InterpResult<'tcx> {
441- let _span = enter_trace_span!(borrow_tracker::before_memory_read, alloc_id = alloc_id.0);
441+ let _trace = enter_trace_span!(borrow_tracker::before_memory_read, alloc_id = alloc_id.0);
442442 match self {
443443 AllocState::StackedBorrows(sb) =>
444444 sb.borrow_mut().before_memory_read(alloc_id, prov_extra, range, machine),
@@ -460,7 +460,7 @@ impl AllocState {
460460 range: AllocRange,
461461 machine: &MiriMachine<'tcx>,
462462 ) -> InterpResult<'tcx> {
463- let _span = enter_trace_span!(borrow_tracker::before_memory_write, alloc_id = alloc_id.0);
463+ let _trace = enter_trace_span!(borrow_tracker::before_memory_write, alloc_id = alloc_id.0);
464464 match self {
465465 AllocState::StackedBorrows(sb) =>
466466 sb.get_mut().before_memory_write(alloc_id, prov_extra, range, machine),
@@ -482,7 +482,7 @@ impl AllocState {
482482 size: Size,
483483 machine: &MiriMachine<'tcx>,
484484 ) -> InterpResult<'tcx> {
485- let _span =
485+ let _trace =
486486 enter_trace_span!(borrow_tracker::before_memory_deallocation, alloc_id = alloc_id.0);
487487 match self {
488488 AllocState::StackedBorrows(sb) =>
@@ -493,7 +493,7 @@ impl AllocState {
493493 }
494494
495495 pub fn remove_unreachable_tags(&self, tags: &FxHashSet<BorTag>) {
496- let _span = enter_trace_span!(borrow_tracker::remove_unreachable_tags);
496+ let _trace = enter_trace_span!(borrow_tracker::remove_unreachable_tags);
497497 match self {
498498 AllocState::StackedBorrows(sb) => sb.borrow_mut().remove_unreachable_tags(tags),
499499 AllocState::TreeBorrows(tb) => tb.borrow_mut().remove_unreachable_tags(tags),
@@ -508,7 +508,7 @@ impl AllocState {
508508 tag: BorTag,
509509 alloc_id: AllocId, // diagnostics
510510 ) -> InterpResult<'tcx> {
511- let _span = enter_trace_span!(
511+ let _trace = enter_trace_span!(
512512 borrow_tracker::release_protector,
513513 alloc_id = alloc_id.0,
514514 tag = tag.0
@@ -523,7 +523,7 @@ impl AllocState {
523523
524524impl VisitProvenance for AllocState {
525525 fn visit_provenance(&self, visit: &mut VisitWith<'_>) {
526- let _span = enter_trace_span!(borrow_tracker::visit_provenance);
526+ let _trace = enter_trace_span!(borrow_tracker::visit_provenance);
527527 match self {
528528 AllocState::StackedBorrows(sb) => sb.visit_provenance(visit),
529529 AllocState::TreeBorrows(tb) => tb.visit_provenance(visit),
0 commit comments