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

Coherence negative impls implied bounds #100888

Merged

Conversation

spastorino
Copy link
Member

@spastorino spastorino commented Aug 22, 2022

Fixes #93875

This PR is rebased on top of #100789 and it would need to include that one which is already r+ed.

r? @nikomatsakis

cc @lcnr (which I've talked about 3222f42, I guess after you finish your reordering of modules and work with OutlivesEnvironmentEnv this commit can just be reverted).

@rustbot rustbot added the T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. label Aug 22, 2022
@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 22, 2022
@spastorino spastorino force-pushed the coherence-negative-impls-implied-bounds branch from 3cd2502 to c66ef3f Compare August 22, 2022 20:08
@spastorino
Copy link
Member Author

Rebased on top of #99702 which has removed OutlivesEnvironmentExt.

@bors
Copy link
Contributor

bors commented Aug 23, 2022

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

@spastorino spastorino force-pushed the coherence-negative-impls-implied-bounds branch from c66ef3f to 4da14ef Compare August 23, 2022 12:12
@spastorino
Copy link
Member Author

spastorino commented Aug 23, 2022

Rebased on top of master as #100789 is already merged, so this is now ready.

@lcnr
Copy link
Contributor

lcnr commented Aug 24, 2022

r? @lcnr
@bors r+

@bors
Copy link
Contributor

bors commented Aug 24, 2022

📌 Commit 4da14ef has been approved by lcnr

It is now in the queue for this repository.

@rust-highfive rust-highfive assigned lcnr and unassigned nikomatsakis Aug 24, 2022
@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 Aug 24, 2022
@lcnr
Copy link
Contributor

lcnr commented Aug 24, 2022

@bors rollup

@nikomatsakis
Copy link
Contributor

Looks like lcnr already reviewed, but r+ from me, too.

bors added a commit to rust-lang-ci/rust that referenced this pull request Aug 24, 2022
…iaskrgr

Rollup of 15 pull requests

Successful merges:

 - rust-lang#99993 (linker: Update some outdated comments)
 - rust-lang#100220 (Properly forward `ByRefSized::fold` to the inner iterator)
 - rust-lang#100826 (sugg: take into count the debug formatting)
 - rust-lang#100855 (Extra documentation for new formatting feature)
 - rust-lang#100888 (Coherence negative impls implied bounds)
 - rust-lang#100901 (Make some methods private)
 - rust-lang#100906 (Suggest alternatives when trying to mutate a `HashMap`/`BTreeMap` via indexing)
 - rust-lang#100912 (Diagnose missing includes in run-make tests)
 - rust-lang#100919 (Use par_body_owners for liveness)
 - rust-lang#100922 (Rewrite error index generator to greatly reduce the size of the pages)
 - rust-lang#100926 (Update README.md)
 - rust-lang#100930 (Use `--userns=keep-id` when "docker" is really podman)
 - rust-lang#100938 (rustdoc: remove unused CSS rule)
 - rust-lang#100940 (Do not suggest adding a bound to a opaque type)
 - rust-lang#100945 (Add a missing test case for impl generic mismatch)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 0fcabec into rust-lang:master Aug 24, 2022
@rustbot rustbot added this to the 1.65.0 milestone Aug 24, 2022
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.

coherence doesn't permit negative impls to take advantage of implied bounds
6 participants