fix some lifetime names

diff --git a/src/helpers.rs b/src/helpers.rs
index 5a76e15465c460680ec057cc41143c85a008a4f5..d9a7edcc11350936ff55e5a7aa3a7155f9064a3a 100644 (file)
--- a/src/helpers.rs
+++ b/src/helpers.rs
@@ -810,12 +810,12 @@ pub fn current_span(&self) -> CurrentSpan<'_, '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 e2e63f8a52a297788956b344fb494344b8d81240..6cb71f43118ca13605e6f01e38e02192b404b0e0 100644 (file)
--- a/src/stacked_borrows.rs
+++ b/src/stacked_borrows.rs
@@ -708,7 +708,7 @@ fn reborrow(
         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|