diff options
| author | Michael Goulet <michael@errs.io> | 2025-03-26 18:59:44 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-04-09 20:26:57 +0000 |
| commit | ccdfd310be12f0c46be8b3266b3ff4e2ce5b3806 (patch) | |
| tree | 9d9badf724a2f9dd02391699f5a97f1ea556c64f /compiler/rustc_next_trait_solver/src | |
| parent | 27836e1e5794dfa8db8565adaf7aed05d8bfff92 (diff) | |
| download | rust-ccdfd310be12f0c46be8b3266b3ff4e2ce5b3806.tar.gz rust-ccdfd310be12f0c46be8b3266b3ff4e2ce5b3806.zip | |
Mark GAT WC as GoalSource::AliasWellFormed so that we recurse into them in error reporting
Diffstat (limited to 'compiler/rustc_next_trait_solver/src')
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/solve/normalizes_to/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_next_trait_solver/src/solve/normalizes_to/mod.rs b/compiler/rustc_next_trait_solver/src/solve/normalizes_to/mod.rs index 4cfc727d6b7..f4f15ff6d46 100644 --- a/compiler/rustc_next_trait_solver/src/solve/normalizes_to/mod.rs +++ b/compiler/rustc_next_trait_solver/src/solve/normalizes_to/mod.rs @@ -134,7 +134,7 @@ where // Add GAT where clauses from the trait's definition // FIXME: We don't need these, since these are the type's own WF obligations. ecx.add_goals( - GoalSource::Misc, + GoalSource::AliasWellFormed, cx.own_predicates_of(goal.predicate.def_id()) .iter_instantiated(cx, goal.predicate.alias.args) .map(|pred| goal.with(cx, pred)), @@ -199,7 +199,7 @@ where // Add GAT where clauses from the trait's definition. // FIXME: We don't need these, since these are the type's own WF obligations. ecx.add_goals( - GoalSource::Misc, + GoalSource::AliasWellFormed, cx.own_predicates_of(goal.predicate.def_id()) .iter_instantiated(cx, goal.predicate.alias.args) .map(|pred| goal.with(cx, pred)), |