user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix bound var resolution for trait aliases

Browse source 
Handle DefKind::TraitAlias in resolve_bound_vars so that associated
item constraints and return type notation work through trait aliases.
This commit is contained in:
Ruiyang Wang 2026-02-07 17:57:53 +00:00
parent 8c5605e130
commit 7c5ea7ffd6
3 changed files with 30 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_hir_analysis/src/collect/resolve_bound_vars.rs
View file

@ -1695,7 +1695,8 @@ impl<'a, 'tcx> BoundVarContext<'a, 'tcx> {
| DefKind::Union
| DefKind::Enum
| DefKind::TyAlias
| DefKind::Trait,
| DefKind::Trait
| DefKind::TraitAlias,
def_id,
) if depth == 0 => Some(def_id),
_ => None,
@ -1865,7 +1866,7 @@ impl<'a, 'tcx> BoundVarContext<'a, 'tcx> {
if constraint.gen_args.parenthesized == hir::GenericArgsParentheses::ReturnTypeNotation
{
let bound_vars = if let Some(type_def_id) = type_def_id
&& self.tcx.def_kind(type_def_id) == DefKind::Trait
&& let DefKind::Trait | DefKind::TraitAlias = self.tcx.def_kind(type_def_id)
&& let Some((mut bound_vars, assoc_fn)) = BoundVarContext::supertrait_hrtb_vars(
self.tcx,
type_def_id,