1
Fork 0

Use a query rather than recomputing the tail repeatedly

This commit is contained in:
Michael Goulet 2025-03-30 03:40:14 +00:00
parent ccdfd310be
commit 830aeb6102
13 changed files with 234 additions and 90 deletions

View file

@ -237,7 +237,7 @@ where
// has a trivially false `Sized` predicate). If it's the latter, we cannot
// delay a bug because we can have trivially false where clauses, so we
// treat it as rigid.
if goal_trait_ref.self_ty().is_guaranteed_unsized_raw() {
if cx.impl_self_is_guaranteed_unsized(impl_def_id) {
ecx.structurally_instantiate_normalizes_to_term(goal, goal.predicate.alias);
return ecx.evaluate_added_goals_and_make_canonical_response(Certainty::Yes);
} else {