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

Remove impl trait in bindings #87141

Merged
merged 17 commits into from
Jul 20, 2021

Conversation

spastorino
Copy link
Member

@spastorino spastorino commented Jul 14, 2021

Closes #86729

r? @oli-obk

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 14, 2021
@rust-log-analyzer

This comment has been minimized.

@rust-log-analyzer

This comment has been minimized.

@rust-log-analyzer

This comment has been minimized.

@spastorino spastorino force-pushed the remove_impl_trait_in_bindings branch from 0f01292 to 31ae616 Compare July 15, 2021 15:44
@rust-log-analyzer

This comment has been minimized.

@spastorino spastorino force-pushed the remove_impl_trait_in_bindings branch from 31ae616 to bf7016d Compare July 15, 2021 17:50
@rust-log-analyzer

This comment has been minimized.

@spastorino spastorino force-pushed the remove_impl_trait_in_bindings branch 5 times, most recently from 2dc406d to 53a5162 Compare July 18, 2021 02:08
@spastorino spastorino force-pushed the remove_impl_trait_in_bindings branch from 53a5162 to 9146273 Compare July 18, 2021 02:16
@rust-log-analyzer

This comment has been minimized.

@spastorino spastorino force-pushed the remove_impl_trait_in_bindings branch from dba0da5 to 65b8b51 Compare July 19, 2021 12:25
@rust-log-analyzer

This comment has been minimized.

@spastorino spastorino force-pushed the remove_impl_trait_in_bindings branch from 65b8b51 to 3e857f5 Compare July 19, 2021 13:20
@spastorino
Copy link
Member Author

@bors r=oli-obk

@bors
Copy link
Contributor

bors commented Jul 19, 2021

📌 Commit 3e857f5 has been approved by oli-obk

@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 Jul 19, 2021
@bors
Copy link
Contributor

bors commented Jul 20, 2021

⌛ Testing commit 3e857f5 with merge a72c360...

@bors
Copy link
Contributor

bors commented Jul 20, 2021

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing a72c360 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jul 20, 2021
@bors bors merged commit a72c360 into rust-lang:master Jul 20, 2021
@rustbot rustbot added this to the 1.55.0 milestone Jul 20, 2021
@rust-highfive
Copy link
Collaborator

📣 Toolstate changed by #87141!

Tested on commit a72c360.
Direct link to PR: #87141

💔 miri on windows: test-pass → test-fail (cc @RalfJung @oli-obk @eddyb).
💔 miri on linux: test-pass → test-fail (cc @RalfJung @oli-obk @eddyb).

rust-highfive added a commit to rust-lang-nursery/rust-toolstate that referenced this pull request Jul 20, 2021
Tested on commit rust-lang/rust@a72c360.
Direct link to PR: <rust-lang/rust#87141>

💔 miri on windows: test-pass → test-fail (cc @RalfJung @oli-obk @eddyb).
💔 miri on linux: test-pass → test-fail (cc @RalfJung @oli-obk @eddyb).
@RalfJung RalfJung mentioned this pull request Jul 20, 2021
bors added a commit to rust-lang/miri that referenced this pull request Jul 20, 2021
rustup

This test was removed in rustc in rust-lang/rust#87141.

We added it in #1430, and possibly that "interesting case in unsizing" is not covered by tests now -- but I don't remember what that case is.^^ If/when `impl Trait` in bindings comes back, we should copy the new rustc tests to Miri as well.
@richard-uk1
Copy link
Contributor

Hey could you link to the discussion around this removal, so we can understand the rationale/what might happen in the future?

@lqd
Copy link
Member

lqd commented Jul 21, 2021

it's (somewhat succinctly) described in #86729

@oli-obk
Copy link
Contributor

oli-obk commented Jul 22, 2021

I wrote a bit more in the issue

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. 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.

remove the F-impl-trait-in-bindings code
8 participants