Skip to content

Point at assoc fn definition on type param divergence - #116995

Merged
bors merged 1 commit into
rust-lang:masterfrom
estebank:issue-69944
Oct 21, 2023
Merged

Point at assoc fn definition on type param divergence#116995
bors merged 1 commit into
rust-lang:masterfrom
estebank:issue-69944

Conversation

@estebank

Copy link
Copy Markdown
Contributor

When the number of type parameters in the associated function of an impl and its trait differ, we now always point at the trait one, even if it comes from a foreign crate. When it is local, we point at the specific params, when it is foreign, we point at the whole associated item.

Fix#69944.

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

Labels

S-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.T-compilerRelevant 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.

Missing "impl Trait introduces an implicit type parameter" when the trait comes from another crate

5 participants

@estebank@rustbot@compiler-errors@bors@b-naber