double recursion_depth

Author: lcnr

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

@@ -189,9 +189,13 @@ 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| {
-            ecx.evaluate_goal(GoalEvaluationKind::Root, GoalSource::Misc, goal)
-        })
+        EvalCtxt::enter_root(
+            self,
+            self.cx().recursion_limit() * 2,
+            generate_proof_tree,
+            span,
+            |ecx| ecx.evaluate_goal(GoalEvaluationKind::Root, GoalSource::Misc, goal),
+        )
     }
 
     fn root_goal_may_hold_with_depth(
@@ -219,7 +223,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),