diff options
| author | Michael Goulet <michael@errs.io> | 2024-12-23 20:17:53 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-01-06 17:58:42 +0000 |
| commit | ebdf19a8bbd1efb533bab35b0a2b327e4a33282f (patch) | |
| tree | 074293f94d79462076f8f2adaeaece3f5fed210c /compiler/rustc_next_trait_solver/src | |
| parent | 2be9ffc1afd0623ab0697cbaca5693b80c6d362c (diff) | |
| download | rust-ebdf19a8bbd1efb533bab35b0a2b327e4a33282f.tar.gz rust-ebdf19a8bbd1efb533bab35b0a2b327e4a33282f.zip | |
Recurse on GAT where clauses in fulfillment error proof tree visitor
Diffstat (limited to 'compiler/rustc_next_trait_solver/src')
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/solve/effect_goals.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_next_trait_solver/src/solve/effect_goals.rs b/compiler/rustc_next_trait_solver/src/solve/effect_goals.rs index 281796e84b1..7669a305d58 100644 --- a/compiler/rustc_next_trait_solver/src/solve/effect_goals.rs +++ b/compiler/rustc_next_trait_solver/src/solve/effect_goals.rs @@ -103,7 +103,7 @@ where |ecx| { // Const conditions must hold for the implied const bound to hold. ecx.add_goals( - GoalSource::Misc, + GoalSource::AliasBoundConstCondition, cx.const_conditions(alias_ty.def_id) .iter_instantiated(cx, alias_ty.args) .map(|trait_ref| { @@ -353,7 +353,7 @@ where ecx.probe_builtin_trait_candidate(BuiltinImplSource::Misc).enter(|ecx| { ecx.add_goals( - GoalSource::ImplWhereBound, + GoalSource::AliasBoundConstCondition, const_conditions.into_iter().map(|trait_ref| { goal.with( cx, |