diff options
| author | Michael Goulet <michael@errs.io> | 2025-04-16 18:30:33 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-04-16 20:06:39 +0000 |
| commit | bb3c98165cca752ba93927f19fa3f78c48caccc7 (patch) | |
| tree | 3acc71df3f13f92e1d20296fd161ab3c0a19c8f1 /compiler/rustc_next_trait_solver/src | |
| parent | afa859f8121bf2985362a2c8414dc71a825ccf2d (diff) | |
| download | rust-bb3c98165cca752ba93927f19fa3f78c48caccc7.tar.gz rust-bb3c98165cca752ba93927f19fa3f78c48caccc7.zip | |
Don't require rigid alias's trait to hold
Diffstat (limited to 'compiler/rustc_next_trait_solver/src')
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/solve/normalizes_to/mod.rs | 1 |
1 files changed, 0 insertions, 1 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 2d027f16e5d..fdeb276a58e 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 @@ -45,7 +45,6 @@ where goal, goal.predicate.alias, ); - this.add_goal(GoalSource::AliasWellFormed, goal.with(cx, trait_ref)); this.evaluate_added_goals_and_make_canonical_response(Certainty::Yes) }) }) |