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

Reverse drain_filter behavior to match libstd #187

Merged
merged 1 commit into from
Aug 12, 2020

Conversation

mbrubeck
Copy link
Contributor

Fixes #186. This is the worst sort of silent breaking change, but we don't have much choice here.

@Amanieu
Copy link
Member

Amanieu commented Aug 11, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Aug 11, 2020

📌 Commit 6ea798c has been approved by Amanieu

@bors
Copy link
Contributor

bors commented Aug 11, 2020

⌛ Testing commit 6ea798c with merge 9aa0043...

bors added a commit that referenced this pull request Aug 11, 2020
Reverse `drain_filter` behavior to match libstd

Fixes #186.  This is the worst sort of silent breaking change, but we don't have much choice here.
@mbrubeck
Copy link
Contributor Author

Sorry, I forgot to update the docs to match the new behavior. Pushed a follow-up commit.

@Amanieu
Copy link
Member

Amanieu commented Aug 11, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Aug 11, 2020

📌 Commit 86abd6c has been approved by Amanieu

bors added a commit that referenced this pull request Aug 11, 2020
Reverse `drain_filter` behavior to match libstd

Fixes #186.  This is the worst sort of silent breaking change, but we don't have much choice here.
@bors
Copy link
Contributor

bors commented Aug 11, 2020

⌛ Testing commit 86abd6c with merge 0c228e3...

@bors
Copy link
Contributor

bors commented Aug 11, 2020

💔 Test failed - checks-travis

@mbrubeck mbrubeck force-pushed the drain_filter_reverse branch from 86abd6c to 9253606 Compare August 11, 2020 00:53
@mbrubeck
Copy link
Contributor Author

Updated the tests.

@Amanieu
Copy link
Member

Amanieu commented Aug 11, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Aug 11, 2020

📌 Commit 9253606 has been approved by Amanieu

@bors
Copy link
Contributor

bors commented Aug 11, 2020

⌛ Testing commit 9253606 with merge 8102afb...

bors added a commit that referenced this pull request Aug 11, 2020
Reverse `drain_filter` behavior to match libstd

Fixes #186.  This is the worst sort of silent breaking change, but we don't have much choice here.
@bors
Copy link
Contributor

bors commented Aug 12, 2020

💔 Test failed - checks-travis

@mbrubeck mbrubeck force-pushed the drain_filter_reverse branch from 9253606 to 7654023 Compare August 12, 2020 04:58
@mbrubeck
Copy link
Contributor Author

Fixed the doc example to compile in Rust 1.32. Sorry for the churn!

@Amanieu
Copy link
Member

Amanieu commented Aug 12, 2020

No problem!

@bors r+

@bors
Copy link
Contributor

bors commented Aug 12, 2020

📌 Commit 7654023 has been approved by Amanieu

@bors
Copy link
Contributor

bors commented Aug 12, 2020

⌛ Testing commit 7654023 with merge 17e6ecc...

@bors
Copy link
Contributor

bors commented Aug 12, 2020

☀️ Test successful - checks-travis
Approved by: Amanieu
Pushing 17e6ecc to master...

@bors bors merged commit 17e6ecc into rust-lang:master Aug 12, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

drain_filter has opposite behavior of standard library version
3 participants