@@ -317,8 +317,11 @@ impl<'tcx> RegionInferenceContext<'tcx> {
317
317
}
318
318
319
319
// Add `end(X)` into the set for X.
320
- self . liveness_constraints
321
- . add_element ( variable, variable, & Cause :: UniversalRegion ( variable) ) ;
320
+ self . liveness_constraints . add_element (
321
+ variable,
322
+ variable,
323
+ & Cause :: UniversalRegion ( variable) ,
324
+ ) ;
322
325
}
323
326
}
324
327
@@ -841,7 +844,9 @@ impl<'tcx> RegionInferenceContext<'tcx> {
841
844
sup_region, sub_region, point
842
845
) ;
843
846
844
- let inferred_values = self . inferred_values . as_ref ( ) . expect ( "values for regions not yet inferred" ) ;
847
+ let inferred_values = self . inferred_values
848
+ . as_ref ( )
849
+ . expect ( "values for regions not yet inferred" ) ;
845
850
846
851
debug ! (
847
852
"eval_outlives: sup_region's value = {:?}" ,
@@ -858,10 +863,11 @@ impl<'tcx> RegionInferenceContext<'tcx> {
858
863
// now). Therefore, the sup-region outlives the sub-region if,
859
864
// for each universal region R1 in the sub-region, there
860
865
// exists some region R2 in the sup-region that outlives R1.
861
- let universal_outlives =
862
- inferred_values . universal_regions_outlived_by ( sub_region)
866
+ let universal_outlives = inferred_values
867
+ . universal_regions_outlived_by ( sub_region)
863
868
. all ( |r1| {
864
- inferred_values. universal_regions_outlived_by ( sup_region)
869
+ inferred_values
870
+ . universal_regions_outlived_by ( sup_region)
865
871
. any ( |r2| self . universal_regions . outlives ( r2, r1) )
866
872
} ) ;
867
873
0 commit comments