diff options
| author | Jacob Pratt <jacob@jhpratt.dev> | 2025-06-22 08:49:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-22 08:49:04 +0200 |
| commit | 9c09dd51f9eb3cb32aa21f411997c7685e0204c7 (patch) | |
| tree | f57f1f2d7b9b1274265fdb049e6198c6390d34c4 /compiler/rustc_next_trait_solver/src | |
| parent | 431a8229381ba69360f853a5bbb26a69e1fb4cee (diff) | |
| parent | ecd65f870dc62352b15587d82e37a8e2b2480367 (diff) | |
| download | rust-9c09dd51f9eb3cb32aa21f411997c7685e0204c7.tar.gz rust-9c09dd51f9eb3cb32aa21f411997c7685e0204c7.zip | |
Rollup merge of #142617 - lcnr:search_graph-3, r=compiler-errors
improve search graph docs, reset `encountered_overflow` between reruns I think this shouldn't really matter for now. It will be more relevant for my current rework as we otherwise cannot partially reevaluate the root goal in case there has been overflow during the prervious iteration. r? ````@BoxyUwU````
Diffstat (limited to 'compiler/rustc_next_trait_solver/src')
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs b/compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs index 7ead0a6d6b7..00fd3ba8046 100644 --- a/compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs +++ b/compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs @@ -430,7 +430,7 @@ where canonical_input, step_kind_from_parent, &mut canonical_goal_evaluation, - |search_graph, canonical_goal_evaluation| { + |search_graph, cx, canonical_input, canonical_goal_evaluation| { EvalCtxt::enter_canonical( cx, search_graph, |