double recursion_depth

Author: lcnr

compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs

@@ -188,7 +188,7 @@ where
         generate_proof_tree: GenerateProofTree,
         span: I::Span,
     ) -> (Result<(HasChanged, Certainty), NoSolution>, Option<inspect::GoalEvaluation<I>>) {
-        EvalCtxt::enter_root(self, self.cx().recursion_limit(), generate_proof_tree, span, |ecx| {
+        EvalCtxt::enter_root(self, self.cx().recursion_limit() * 2, generate_proof_tree, span, |ecx| {
             ecx.evaluate_goal(GoalEvaluationKind::Root, GoalSource::Misc, goal)
         })
     }
@@ -218,7 +218,7 @@ where
     ) {
         EvalCtxt::enter_root(
             self,
-            self.cx().recursion_limit(),
+            self.cx().recursion_limit() * 2,
             generate_proof_tree,
             I::Span::dummy(),
             |ecx| ecx.evaluate_goal_raw(GoalEvaluationKind::Root, GoalSource::Misc, goal),