Skip to content

Commit a8eb252

Browse files
committed
fmt increase recursion depth
1 parent 2e51d50 commit a8eb252

File tree

1 file changed

+7
-3
lines changed
  • compiler/rustc_next_trait_solver/src/solve/eval_ctxt

1 file changed

+7
-3
lines changed

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

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -188,9 +188,13 @@ where
188188
generate_proof_tree: GenerateProofTree,
189189
span: I::Span,
190190
) -> (Result<(HasChanged, Certainty), NoSolution>, Option<inspect::GoalEvaluation<I>>) {
191-
EvalCtxt::enter_root(self, self.cx().recursion_limit() * 2, generate_proof_tree, span, |ecx| {
192-
ecx.evaluate_goal(GoalEvaluationKind::Root, GoalSource::Misc, goal)
193-
})
191+
EvalCtxt::enter_root(
192+
self,
193+
self.cx().recursion_limit() * 2,
194+
generate_proof_tree,
195+
span,
196+
|ecx| ecx.evaluate_goal(GoalEvaluationKind::Root, GoalSource::Misc, goal),
197+
)
194198
}
195199

196200
fn root_goal_may_hold_with_depth(

0 commit comments

Comments
 (0)