Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Check generics parity before collecting return-position impl Traits in trait #104295

Merged
merged 3 commits into from
Nov 22, 2022

Conversation

compiler-errors
Copy link
Member

The only thing is that this duplicates the error message for number of generics mismatch, but we already deduplicate that error message in Cargo. I could add a flag to delay the error if the reviewer cares.

Fixes #104281

Also drive-by adds a few comments to the collect_trait_impl_trait_tys method, and removes an unused argument from compare_number_of_generics.

@rustbot
Copy link
Collaborator

rustbot commented Nov 11, 2022

r? @eholk

(rustbot has picked a reviewer for you, use r? to override)

@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 Nov 11, 2022
@bors
Copy link
Contributor

bors commented Nov 12, 2022

☔ The latest upstream changes (presumably #104310) made this pull request unmergeable. Please resolve the merge conflicts.

@rust-log-analyzer

This comment has been minimized.

@bors
Copy link
Contributor

bors commented Nov 19, 2022

☔ The latest upstream changes (presumably #104600) made this pull request unmergeable. Please resolve the merge conflicts.

@eholk
Copy link
Contributor

eholk commented Nov 21, 2022

Looks good. Thanks for the extra comments as well!

I think I'd prefer to see the error deduplicated here rather than relying on cargo, but if it's really annoying to do that I think it's fine this way. Your choice.

Feel free to r=me after resolving the merge conflicts.

@compiler-errors
Copy link
Member Author

@bors r=eholk

@bors
Copy link
Contributor

bors commented Nov 22, 2022

📌 Commit df5f247 has been approved by eholk

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Nov 22, 2022
bors added a commit to rust-lang-ci/rust that referenced this pull request Nov 22, 2022
Rollup of 6 pull requests

Successful merges:

 - rust-lang#104295 (Check generics parity before collecting return-position `impl Trait`s in trait)
 - rust-lang#104464 (Reduce exceptions overallocation on non Windows x86_64)
 - rust-lang#104615 (Create def_id for async fns during lowering)
 - rust-lang#104669 (Only declare bindings for if-let guards once per arm)
 - rust-lang#104701 (Remove a lifetime resolution hack from `compare_predicate_entailment`)
 - rust-lang#104710 (disable strict-provenance-violating doctests in Miri)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 680ba90 into rust-lang:master Nov 22, 2022
@rustbot rustbot added this to the 1.67.0 milestone Nov 22, 2022
@compiler-errors compiler-errors deleted the rpitit-generics-parity branch August 11, 2023 20:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. 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.

RPITIT ICE when impl's fn is missing a type parameter
5 participants