Unnamed repository; edit this file 'description' to name the repository.
Do not add `Sized` predicates twice for parents
| -rw-r--r-- | crates/hir-ty/src/lower.rs | 29 |
1 files changed, 10 insertions, 19 deletions
diff --git a/crates/hir-ty/src/lower.rs b/crates/hir-ty/src/lower.rs index dfb289cd52..adc48b57d5 100644 --- a/crates/hir-ty/src/lower.rs +++ b/crates/hir-ty/src/lower.rs @@ -1826,25 +1826,16 @@ where )); predicates.push(clause); }; - if generics.parent_generics().is_some_and(|parent| filter(parent.def())) { - generics.iter_parent().enumerate().for_each( - |(param_idx, (param_id, param_data))| { - add_sized_clause(param_idx as u32, param_id, param_data); - }, - ); - } - if filter(def) { - let parent_params_len = generics.len_parent(); - generics.iter_self().enumerate().for_each( - |(param_idx, (param_id, param_data))| { - add_sized_clause( - (param_idx + parent_params_len) as u32, - param_id, - param_data, - ); - }, - ); - } + let parent_params_len = maybe_parent_generics.len_parent(); + maybe_parent_generics.iter_self().enumerate().for_each( + |(param_idx, (param_id, param_data))| { + add_sized_clause( + (param_idx + parent_params_len) as u32, + param_id, + param_data, + ); + }, + ); } // We do not clear `ctx.unsized_types`, as the `?Sized` clause of a child (e.g. an associated type) can |