@@ -149,7 +149,7 @@ pub struct Constraint {
149
149
point : Location ,
150
150
151
151
/// Later on, we thread the constraints onto a linked list
152
- /// sorted by their `sub` field. So if you had:
152
+ /// grouped by their `sub` field. So if you had:
153
153
///
154
154
/// Index | Constraint | Next Field
155
155
/// ----- | ---------- | ----------
@@ -423,9 +423,11 @@ impl<'tcx> RegionInferenceContext<'tcx> {
423
423
mir : & Mir < ' tcx > ,
424
424
mir_def_id : DefId ,
425
425
) -> Option < ClosureRegionRequirements < ' gcx > > {
426
- common:: time ( infcx. tcx . sess , & format ! ( "solve({:?})" , mir_def_id) , || {
427
- self . solve_inner ( infcx, mir, mir_def_id)
428
- } )
426
+ common:: time (
427
+ infcx. tcx . sess ,
428
+ & format ! ( "solve_nll_region_constraints({:?})" , mir_def_id) ,
429
+ || self . solve_inner ( infcx, mir, mir_def_id) ,
430
+ )
429
431
}
430
432
431
433
fn solve_inner < ' gcx > (
@@ -451,7 +453,13 @@ impl<'tcx> RegionInferenceContext<'tcx> {
451
453
None
452
454
} ;
453
455
454
- self . check_type_tests ( infcx, mir, dfs_storage, mir_def_id, outlives_requirements. as_mut ( ) ) ;
456
+ self . check_type_tests (
457
+ infcx,
458
+ mir,
459
+ dfs_storage,
460
+ mir_def_id,
461
+ outlives_requirements. as_mut ( ) ,
462
+ ) ;
455
463
456
464
self . check_universal_regions ( infcx, mir_def_id, outlives_requirements. as_mut ( ) ) ;
457
465
@@ -587,7 +595,13 @@ impl<'tcx> RegionInferenceContext<'tcx> {
587
595
for type_test in & self . type_tests {
588
596
debug ! ( "check_type_test: {:?}" , type_test) ;
589
597
590
- if self . eval_region_test ( mir, dfs_storage, type_test. point , type_test. lower_bound , & type_test. test ) {
598
+ if self . eval_region_test (
599
+ mir,
600
+ dfs_storage,
601
+ type_test. point ,
602
+ type_test. lower_bound ,
603
+ & type_test. test ,
604
+ ) {
591
605
continue ;
592
606
}
593
607
0 commit comments