@@ -225,16 +225,17 @@ pub(super) fn dump_nll_mir<'tcx>(
225
225
closure_region_requirements : & Option < ClosureRegionRequirements < ' tcx > > ,
226
226
borrow_set : & BorrowSet < ' tcx > ,
227
227
) {
228
- if !dump_enabled ( infcx. tcx , "nll" , body. source . def_id ( ) ) {
228
+ let tcx = infcx. tcx ;
229
+ if !dump_enabled ( tcx, "nll" , body. source . def_id ( ) ) {
229
230
return ;
230
231
}
231
232
232
233
// We want the NLL extra comments printed by default in NLL MIR dumps (they were removed in
233
234
// #112346). Specifying `-Z mir-include-spans` on the CLI still has priority: for example,
234
235
// they're always disabled in mir-opt tests to make working with blessed dumps easier.
235
- let options = PrettyPrintMirOptions :: from_cli_with_default ( infcx . tcx , true ) ;
236
+ let options = PrettyPrintMirOptions :: from_cli_with_default ( tcx, true ) ;
236
237
dump_mir_with_options (
237
- infcx . tcx ,
238
+ tcx,
238
239
false ,
239
240
"nll" ,
240
241
& 0 ,
@@ -243,16 +244,14 @@ pub(super) fn dump_nll_mir<'tcx>(
243
244
match pass_where {
244
245
// Before the CFG, dump out the values for each region variable.
245
246
PassWhere :: BeforeCFG => {
246
- regioncx. dump_mir ( infcx . tcx , out) ?;
247
+ regioncx. dump_mir ( tcx, out) ?;
247
248
writeln ! ( out, "|" ) ?;
248
249
249
250
if let Some ( closure_region_requirements) = closure_region_requirements {
250
251
writeln ! ( out, "| Free Region Constraints" ) ?;
251
- for_each_region_constraint (
252
- infcx. tcx ,
253
- closure_region_requirements,
254
- & mut |msg| writeln ! ( out, "| {msg}" ) ,
255
- ) ?;
252
+ for_each_region_constraint ( tcx, closure_region_requirements, & mut |msg| {
253
+ writeln ! ( out, "| {msg}" )
254
+ } ) ?;
256
255
writeln ! ( out, "|" ) ?;
257
256
}
258
257
@@ -282,13 +281,13 @@ pub(super) fn dump_nll_mir<'tcx>(
282
281
283
282
// Also dump the inference graph constraints as a graphviz file.
284
283
let _: io:: Result < ( ) > = try {
285
- let mut file = create_dump_file ( infcx . tcx , "regioncx.all.dot" , false , "nll" , & 0 , body) ?;
284
+ let mut file = create_dump_file ( tcx, "regioncx.all.dot" , false , "nll" , & 0 , body) ?;
286
285
regioncx. dump_graphviz_raw_constraints ( & mut file) ?;
287
286
} ;
288
287
289
288
// Also dump the inference graph constraints SCCs as a graphviz file.
290
289
let _: io:: Result < ( ) > = try {
291
- let mut file = create_dump_file ( infcx . tcx , "regioncx.scc.dot" , false , "nll" , & 0 , body) ?;
290
+ let mut file = create_dump_file ( tcx, "regioncx.scc.dot" , false , "nll" , & 0 , body) ?;
292
291
regioncx. dump_graphviz_scc_constraints ( & mut file) ?;
293
292
} ;
294
293
}
0 commit comments