@@ -629,7 +629,8 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
629629 obligation : & PredicateObligation < ' tcx > ,
630630 ) -> Result < EvaluationResult , OverflowError > {
631631 self . evaluation_probe ( |this| {
632- this. evaluate_predicate_recursively ( TraitObligationStackList :: empty ( ) , obligation. clone ( ) )
632+ this. evaluate_predicate_recursively ( TraitObligationStackList :: empty ( ) ,
633+ obligation. clone ( ) )
633634 } )
634635 }
635636
@@ -699,7 +700,7 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
699700 {
700701 Some ( Ok ( InferOk { mut obligations, .. } ) ) => {
701702 self . add_depth ( obligations. iter_mut ( ) , obligation. recursion_depth ) ;
702- self . evaluate_predicates_recursively ( previous_stack, obligations. into_iter ( ) )
703+ self . evaluate_predicates_recursively ( previous_stack, obligations. into_iter ( ) )
703704 }
704705 Some ( Err ( _) ) => Ok ( EvaluatedToErr ) ,
705706 None => Ok ( EvaluatedToAmbig ) ,
@@ -1098,7 +1099,7 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
10981099 //
10991100 // The weird return type of this function allows it to be used with the 'try' (?)
11001101 // operator within certain functions
1101- fn check_recursion_limit < T : Display + TypeFoldable < ' tcx > > ( & self , obligation : & Obligation < ' tcx , T > ,
1102+ fn check_recursion_limit < T : Display + TypeFoldable < ' tcx > > ( & self , obligation : & Obligation < ' tcx , T > ,
11021103 ) -> Result < ( ) , OverflowError > {
11031104 let recursion_limit = * self . infcx . tcx . sess . recursion_limit . get ( ) ;
11041105 if obligation. recursion_depth >= recursion_limit {
0 commit comments