@@ -89,34 +89,34 @@ impl<'a, 'tcx, M: Machine<'tcx>> EvalContext<'a, 'tcx, M> {
89
89
let mode = match op {
90
90
ValidationOp :: Acquire => ValidationMode :: Acquire ,
91
91
ValidationOp :: Release => ValidationMode :: ReleaseUntil ( None ) ,
92
- ValidationOp :: Suspend ( ce ) => {
92
+ ValidationOp :: Suspend ( scope ) => {
93
93
if query. mutbl == MutMutable {
94
94
let lft = DynamicLifetime {
95
95
frame : self . cur_frame ( ) ,
96
- region : Some ( ce ) ,
96
+ region : Some ( scope ) ,
97
97
} ;
98
- trace ! ( "Suspending {:?} until {:?}" , query, ce ) ;
98
+ trace ! ( "Suspending {:?} until {:?}" , query, scope ) ;
99
99
self . suspended . entry ( lft) . or_insert_with ( Vec :: new) . push (
100
100
query. clone ( ) ,
101
101
) ;
102
102
}
103
- ValidationMode :: ReleaseUntil ( Some ( ce ) )
103
+ ValidationMode :: ReleaseUntil ( Some ( scope ) )
104
104
}
105
105
} ;
106
106
self . validate ( query, mode)
107
107
}
108
108
109
- pub ( crate ) fn end_region ( & mut self , ce : region:: Scope ) -> EvalResult < ' tcx > {
110
- self . memory . locks_lifetime_ended ( Some ( ce ) ) ;
109
+ pub ( crate ) fn end_region ( & mut self , scope : region:: Scope ) -> EvalResult < ' tcx > {
110
+ self . memory . locks_lifetime_ended ( Some ( scope ) ) ;
111
111
// Recover suspended lvals
112
112
let lft = DynamicLifetime {
113
113
frame : self . cur_frame ( ) ,
114
- region : Some ( ce ) ,
114
+ region : Some ( scope ) ,
115
115
} ;
116
116
if let Some ( queries) = self . suspended . remove ( & lft) {
117
117
for query in queries {
118
118
trace ! ( "Recovering {:?} from suspension" , query) ;
119
- self . validate ( query, ValidationMode :: Recover ( ce ) ) ?;
119
+ self . validate ( query, ValidationMode :: Recover ( scope ) ) ?;
120
120
}
121
121
}
122
122
Ok ( ( ) )
@@ -459,7 +459,7 @@ impl<'a, 'tcx, M: Machine<'tcx>> EvalContext<'a, 'tcx, M> {
459
459
// we record the region of this borrow to the context.
460
460
if query. re == None {
461
461
match * region {
462
- ReScope ( ce ) => query. re = Some ( ce ) ,
462
+ ReScope ( scope ) => query. re = Some ( scope ) ,
463
463
// It is possible for us to encounter erased lifetimes here because the lifetimes in
464
464
// this functions' Subst will be erased.
465
465
_ => { }
0 commit comments