@@ -657,7 +657,7 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
657
657
& mut self ,
658
658
stack : TraitObligationStackList < ' o , ' tcx > ,
659
659
predicates : I ,
660
- recursion_depth : usize
660
+ recursion_depth : usize
661
661
) -> Result < EvaluationResult , OverflowError >
662
662
where
663
663
I : IntoIterator < Item = & ' a PredicateObligation < ' tcx > > ,
@@ -708,7 +708,8 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
708
708
ty:: Predicate :: Trait ( ref t) => {
709
709
debug_assert ! ( !t. has_escaping_bound_vars( ) ) ;
710
710
let obligation = obligation. with ( t. clone ( ) ) ;
711
- self . evaluate_trait_predicate_recursively ( previous_stack, obligation, recursion_depth)
711
+ self . evaluate_trait_predicate_recursively ( previous_stack, obligation,
712
+ recursion_depth)
712
713
}
713
714
714
715
ty:: Predicate :: Subtype ( ref p) => {
@@ -717,7 +718,8 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
717
718
. subtype_predicate ( & obligation. cause , obligation. param_env , p)
718
719
{
719
720
Some ( Ok ( InferOk { obligations, .. } ) ) => {
720
- self . evaluate_predicates_recursively ( previous_stack, & obligations, recursion_depth)
721
+ self . evaluate_predicates_recursively ( previous_stack, & obligations,
722
+ recursion_depth)
721
723
}
722
724
Some ( Err ( _) ) => Ok ( EvaluatedToErr ) ,
723
725
None => Ok ( EvaluatedToAmbig ) ,
@@ -732,7 +734,8 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
732
734
obligation. cause . span ,
733
735
) {
734
736
Some ( obligations) => {
735
- self . evaluate_predicates_recursively ( previous_stack, obligations. iter ( ) , recursion_depth)
737
+ self . evaluate_predicates_recursively ( previous_stack, obligations. iter ( ) ,
738
+ recursion_depth)
736
739
}
737
740
None => Ok ( EvaluatedToAmbig ) ,
738
741
} ,
@@ -1108,7 +1111,8 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
1108
1111
1109
1112
// The weird return type of this function allows it to be used with the 'try' (?)
1110
1113
// operator within certain functions
1111
- fn check_recursion_limit < T : Display + TypeFoldable < ' tcx > > ( & self , recursion_depth : usize , obligation : & Obligation < ' tcx , T > ,
1114
+ fn check_recursion_limit < T : Display + TypeFoldable < ' tcx > > ( & self , recursion_depth : usize ,
1115
+ obligation : & Obligation < ' tcx , T > ,
1112
1116
) -> Result < ( ) , OverflowError > {
1113
1117
let recursion_limit = * self . infcx . tcx . sess . recursion_limit . get ( ) ;
1114
1118
if recursion_depth >= recursion_limit {
@@ -1813,7 +1817,8 @@ impl<'cx, 'gcx, 'tcx> SelectionContext<'cx, 'gcx, 'tcx> {
1813
1817
self . evaluation_probe ( |this| {
1814
1818
match this. match_where_clause_trait_ref ( stack. obligation , where_clause_trait_ref) {
1815
1819
Ok ( obligations) => {
1816
- this. evaluate_predicates_recursively ( stack. list ( ) , obligations. iter ( ) , recursion_depth)
1820
+ this. evaluate_predicates_recursively ( stack. list ( ) , obligations. iter ( ) ,
1821
+ recursion_depth)
1817
1822
}
1818
1823
Err ( ( ) ) => Ok ( EvaluatedToErr ) ,
1819
1824
}
0 commit comments