@@ -375,7 +375,11 @@ impl<'a, 'gcx, 'tcx> RegionCtxt<'a, 'gcx, 'tcx> {
375
375
) ;
376
376
377
377
let body_hir_id = self . tcx . hir . node_to_hir_id ( body_id. node_id ) ;
378
- self . type_of_node_must_be_valid_for_scope ( infer:: CallReturn ( span) , body_hir_id, call_site_scope) ;
378
+ self . type_of_node_must_be_valid_for_scope (
379
+ infer:: CallReturn ( span) ,
380
+ body_hir_id,
381
+ call_site_scope,
382
+ ) ;
379
383
380
384
self . constrain_opaque_types (
381
385
& self . fcx . opaque_types . borrow ( ) ,
@@ -829,7 +833,11 @@ impl<'a, 'gcx, 'tcx> RegionCtxt<'a, 'gcx, 'tcx> {
829
833
// as loop above, but for receiver
830
834
if let Some ( r) = receiver {
831
835
debug ! ( "receiver: {:?}" , r) ;
832
- self . type_of_node_must_be_valid_for_scope ( infer:: CallRcvr ( r. span ) , r. hir_id , callee_scope) ;
836
+ self . type_of_node_must_be_valid_for_scope (
837
+ infer:: CallRcvr ( r. span ) ,
838
+ r. hir_id ,
839
+ callee_scope,
840
+ ) ;
833
841
}
834
842
}
835
843
@@ -1046,7 +1054,10 @@ impl<'a, 'gcx, 'tcx> RegionCtxt<'a, 'gcx, 'tcx> {
1046
1054
) {
1047
1055
let scope_region = self . tcx . mk_region ( ty:: ReScope ( scope) ) ;
1048
1056
let ty = self . resolve_type_vars_if_possible ( & ty) ;
1049
- self . tcx . for_each_free_region ( & ty, |ty_region| self . sub_regions ( origin. clone ( ) , scope_region, ty_region) ) ;
1057
+ self . tcx . for_each_free_region (
1058
+ & ty,
1059
+ |ty_region| self . sub_regions ( origin. clone ( ) , scope_region, ty_region) ,
1060
+ ) ;
1050
1061
}
1051
1062
1052
1063
/// Adds constraints to inference such that `T: 'a` holds (or
0 commit comments