Skip to content

Implement AST -> HIR generics propagation in delegation#151864

Open
aerooneqq wants to merge 10 commits intorust-lang:mainfrom
aerooneqq:delegation-generics-propagation
Open

Implement AST -> HIR generics propagation in delegation#151864
aerooneqq wants to merge 10 commits intorust-lang:mainfrom
aerooneqq:delegation-generics-propagation

Conversation

@aerooneqq
Copy link
Contributor

@aerooneqq aerooneqq commented Jan 30, 2026

This PR adds support for generics propagation during AST -> HIR lowering and is a part of #118212.

Nearest future work:

  • Late-bound lifetimes
  • impl Trait params in functions
  • Proper propagation of parent generics when generating method call
  • Fix diagnostics duplication during lowering of user-specified types
  • Support for recursive delegations
  • Self types support reuse <u8 as Trait<_>>::foo as generic_arguments2
  • Decide what to do with infer args reuse Trait::<_, _>::foo::<_>

r? @petrochenkov

@rustbot
Copy link
Collaborator

rustbot commented Jan 30, 2026

HIR ty lowering was modified

cc @fmease

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jan 30, 2026
@rust-log-analyzer

This comment has been minimized.

@Kivooeo
Copy link
Member

Kivooeo commented Jan 30, 2026

would it be possible to split this pr to commits?

@petrochenkov
Copy link
Contributor

would it be possible to split this pr to commits?

@aerooneqq is sitting in the same office with me, we'll figure out how to review this better.

@rust-log-analyzer

This comment has been minimized.

@rust-log-analyzer

This comment has been minimized.

@rust-bors

This comment has been minimized.

@aerooneqq aerooneqq force-pushed the delegation-generics-propagation branch from 94fa69b to a6d9e63 Compare February 4, 2026 14:42
@rustbot
Copy link
Collaborator

rustbot commented Feb 4, 2026

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

@rust-bors
Copy link
Contributor

rust-bors bot commented Feb 5, 2026

☔ The latest upstream changes made this pull request unmergeable. Please resolve the merge conflicts.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants