Skip to content

do not propagate inferred bounds on trait objects if they involve Self #56003

New issue

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

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

Already on GitHub? # to your account

Conversation

nikomatsakis
Copy link
Contributor

Fixes #54467, which is a Rust 2018 Release blocking issue.

r? @eddyb

@nikomatsakis nikomatsakis added the beta-nominated Nominated for backporting to the compiler in the beta channel. label Nov 16, 2018
@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 16, 2018
@nikomatsakis
Copy link
Contributor Author

Urgh, rebasing.

@eddyb
Copy link
Member

eddyb commented Nov 16, 2018

r=me

@nikomatsakis nikomatsakis force-pushed the issue-54467-infer-outlives-bounds-and-trait-objects branch from 21d4688 to 6575988 Compare November 16, 2018 14:37
@nikomatsakis
Copy link
Contributor Author

@bors r=eddyb

@bors
Copy link
Collaborator

bors commented Nov 16, 2018

📌 Commit 6575988 has been approved by eddyb

@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 16, 2018
@nikomatsakis
Copy link
Contributor Author

@bors p=1 -- regression, rust-2018, etc

@bors
Copy link
Collaborator

bors commented Nov 16, 2018

⌛ Testing commit 6575988 with merge 72bca5e...

bors added a commit that referenced this pull request Nov 16, 2018
…-and-trait-objects, r=eddyb

do not propagate inferred bounds on trait objects if they involve `Self`

Fixes #54467, which is a Rust 2018 Release blocking issue.

r? @eddyb
@bors
Copy link
Collaborator

bors commented Nov 16, 2018

💔 Test failed - status-appveyor

@bors bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Nov 16, 2018
@pietroalbini
Copy link
Member

@bors retry

Seems spurious.

@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 16, 2018
@ehuss
Copy link
Contributor

ehuss commented Nov 17, 2018

Seems spurious.

FWIW, I think I fixed this particular error in the latest cargo (once #55999 lands, fixed by rust-lang/cargo#6292). I'm a little concerned because this coincidentally happened earlier today (rust-lang/cargo#6319), and these are the first occurrences I'm aware of since that test was added 7 months ago. Hopefully it will be fixed.

Would you mind pinging me whenever you see a spurious cargo error? I've been trying to get cargo's tests to be more reliable, and any data is helpful.

@bors
Copy link
Collaborator

bors commented Nov 17, 2018

⌛ Testing commit 6575988 with merge e4927b4c0488c6a6c32ad45e933c3f8ad71ef3c5...

@bors
Copy link
Collaborator

bors commented Nov 17, 2018

💔 Test failed - status-appveyor

@bors bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Nov 17, 2018
@alexcrichton
Copy link
Member

@bors: retry

@bors bors removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 17, 2018
@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Nov 17, 2018
@bors
Copy link
Collaborator

bors commented Nov 17, 2018

⌛ Testing commit 6575988 with merge f37247f...

bors added a commit that referenced this pull request Nov 17, 2018
…-and-trait-objects, r=eddyb

do not propagate inferred bounds on trait objects if they involve `Self`

Fixes #54467, which is a Rust 2018 Release blocking issue.

r? @eddyb
@bors
Copy link
Collaborator

bors commented Nov 17, 2018

☀️ Test successful - status-appveyor, status-travis
Approved by: eddyb
Pushing f37247f to master...

@bors bors merged commit 6575988 into rust-lang:master Nov 17, 2018
@nikomatsakis nikomatsakis added the beta-accepted Accepted for backporting to the compiler in the beta channel. label Nov 19, 2018
@alexcrichton alexcrichton removed the beta-nominated Nominated for backporting to the compiler in the beta channel. label Nov 19, 2018
@alexcrichton alexcrichton added this to the Rust 2018 Release milestone Nov 19, 2018
bors added a commit that referenced this pull request Nov 20, 2018
beta backport rollup

Backports of some beta-approved PRs

- [x] #55385: NLL: cast causes failure to promote to static
- [x] #56043: remove "approx env bounds" if we already know from trait
- [x] #56003: do not propagate inferred bounds on trait objects if they involve `Self`
- [x] #55852: Rewrite `...` as `..=` as a `MachineApplicable` 2018 idiom lint
- [x] #55804: rustdoc: don't inline `pub use some_crate` unless directly asked to
- [x] #56059: Increase `Duration` approximate equal threshold to 1us
- [x]  Keep resolved defs in path prefixes and emit them in save-analysis #54145
- [x]  Adjust Ids of path segments in visibility modifiers #55487
- [x]  save-analysis: bug fix and optimisation. #55521
- [x]   save-analysis: be even more aggressive about ignorning macro-generated defs #55936
- [x]  save-analysis: fallback to using path id #56060
- [x]  save-analysis: Don't panic for macro-generated use globs #55879
- [x]  Add temporary renames to manifests for rustfmt/clippy #56081
- [x] Revert #51601 #56049
- [x]  Fix stability hole with `static _` #55983
- [x] #56077
- [x] Fix Rustdoc ICE when checking blanket impls #55258
- [x]  Updated RELEASES.md for 1.31.0 #55678
- [x] ~~#56061~~ #56111
- [x]  Stabilize `extern_crate_item_prelude` #56032

Still running tests locally, and I plan to backport @nrc's other PRs too

(cc @petrochenkov -- thanks for the advice)
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
beta-accepted Accepted for backporting to the compiler in the beta channel. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants