Don't require rigid alias's trait to hold

2025-04-16 18:30:33 +00:00 · 2025-04-16 18:30:33 +00:00 · bb3c98165c
commit bb3c98165c
parent afa859f812
2 changed files with 41 additions and 1 deletions
--- 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)
                    })
                })