From 62c48b29987cd0e01d0140fcd01185fd02a57795 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 31 May 2022 08:44:48 -0400
Subject: [PATCH] fix some lifetime names

---
 src/helpers.rs         | 6 +++---
 src/stacked_borrows.rs | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/helpers.rs b/src/helpers.rs
index 5a76e15465c4..d9a7edcc1135 100644
--- a/src/helpers.rs
+++ b/src/helpers.rs
@@ -810,12 +810,12 @@ impl<'mir, 'tcx> Evaluator<'mir, 'tcx> {
 /// topmost frame which corresponds to a local crate, and returns the current span in that frame.
 /// The result of that search is cached so that later calls are approximately free.
 #[derive(Clone)]
-pub struct CurrentSpan<'a, 'tcx, 'mir> {
+pub struct CurrentSpan<'a, 'mir, 'tcx> {
     span: Option<Span>,
-    machine: &'a Evaluator<'tcx, 'mir>,
+    machine: &'a Evaluator<'mir, 'tcx>,
 }
 
-impl<'a, 'tcx, 'mir> CurrentSpan<'a, 'tcx, 'mir> {
+impl<'a, 'mir, 'tcx> CurrentSpan<'a, 'mir, 'tcx> {
     pub fn get(&mut self) -> Span {
         *self.span.get_or_insert_with(|| Self::current_span(&self.machine))
     }
diff --git a/src/stacked_borrows.rs b/src/stacked_borrows.rs
index e2e63f8a52a2..6cb71f43118c 100644
--- a/src/stacked_borrows.rs
+++ b/src/stacked_borrows.rs
@@ -708,7 +708,7 @@ trait EvalContextPrivExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
         let current_span = &mut this.machine.current_span();
 
         let log_creation = |this: &MiriEvalContext<'mir, 'tcx>,
-                            current_span: &mut CurrentSpan<'_, '_, '_>,
+                            current_span: &mut CurrentSpan<'_, 'mir, 'tcx>,
                             alloc_id,
                             base_offset,
                             orig_tag|