@@ -137,24 +137,24 @@ impl InitializationData<'_, '_> {
137
137
}
138
138
}
139
139
140
- struct Elaborator < ' a , ' b , ' mir , ' tcx > {
141
- ctxt : & ' a mut ElaborateDropsCtxt < ' b , ' mir , ' tcx > ,
140
+ struct Elaborator < ' a , ' mir , ' tcx > {
141
+ ctxt : & ' a mut ElaborateDropsCtxt < ' mir , ' tcx > ,
142
142
}
143
143
144
- impl fmt:: Debug for Elaborator < ' _ , ' _ , ' _ , ' _ > {
144
+ impl fmt:: Debug for Elaborator < ' _ , ' _ , ' _ > {
145
145
fn fmt ( & self , _f : & mut fmt:: Formatter < ' _ > ) -> fmt:: Result {
146
146
Ok ( ( ) )
147
147
}
148
148
}
149
149
150
- impl < ' a , ' tcx > DropElaborator < ' a , ' tcx > for Elaborator < ' a , ' _ , ' _ , ' tcx > {
150
+ impl < ' mir , ' tcx > DropElaborator < ' mir , ' tcx > for Elaborator < ' _ , ' mir , ' tcx > {
151
151
type Path = MovePathIndex ;
152
152
153
153
fn patch ( & mut self ) -> & mut MirPatch < ' tcx > {
154
154
& mut self . ctxt . patch
155
155
}
156
156
157
- fn body ( & self ) -> & ' a Body < ' tcx > {
157
+ fn body ( & self ) -> & ' mir Body < ' tcx > {
158
158
self . ctxt . body
159
159
}
160
160
@@ -241,17 +241,17 @@ impl<'a, 'tcx> DropElaborator<'a, 'tcx> for Elaborator<'a, '_, '_, 'tcx> {
241
241
}
242
242
}
243
243
244
- struct ElaborateDropsCtxt < ' a , ' mir , ' tcx > {
244
+ struct ElaborateDropsCtxt < ' mir , ' tcx > {
245
245
tcx : TyCtxt < ' tcx > ,
246
246
body : & ' mir Body < ' tcx > ,
247
- env : & ' a MoveDataParamEnv < ' tcx > ,
247
+ env : & ' mir MoveDataParamEnv < ' tcx > ,
248
248
init_data : InitializationData < ' mir , ' tcx > ,
249
249
drop_flags : IndexVec < MovePathIndex , Option < Local > > ,
250
250
patch : MirPatch < ' tcx > ,
251
251
}
252
252
253
- impl < ' b , ' mir , ' tcx > ElaborateDropsCtxt < ' b , ' mir , ' tcx > {
254
- fn move_data ( & self ) -> & ' b MoveData < ' tcx > {
253
+ impl < ' mir , ' tcx > ElaborateDropsCtxt < ' mir , ' tcx > {
254
+ fn move_data ( & self ) -> & ' mir MoveData < ' tcx > {
255
255
& self . env . move_data
256
256
}
257
257
0 commit comments