@@ -629,7 +629,8 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
629
629
obligation : & PredicateObligation < ' tcx > ,
630
630
) -> Result < EvaluationResult , OverflowError > {
631
631
self . evaluation_probe ( |this| {
632
- this. evaluate_predicate_recursively ( TraitObligationStackList :: empty ( ) , obligation. clone ( ) )
632
+ this. evaluate_predicate_recursively ( TraitObligationStackList :: empty ( ) ,
633
+ obligation. clone ( ) )
633
634
} )
634
635
}
635
636
@@ -699,7 +700,7 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
699
700
{
700
701
Some ( Ok ( InferOk { mut obligations, .. } ) ) => {
701
702
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 ( ) )
703
704
}
704
705
Some ( Err ( _) ) => Ok ( EvaluatedToErr ) ,
705
706
None => Ok ( EvaluatedToAmbig ) ,
@@ -1098,7 +1099,7 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
1098
1099
//
1099
1100
// The weird return type of this function allows it to be used with the 'try' (?)
1100
1101
// 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 > ,
1102
1103
) -> Result < ( ) , OverflowError > {
1103
1104
let recursion_limit = * self . infcx . tcx . sess . recursion_limit . get ( ) ;
1104
1105
if obligation. recursion_depth >= recursion_limit {
0 commit comments