Skip to content

Conversation

@Gankra
Copy link
Collaborator

@Gankra Gankra commented Dec 5, 2022

The impl is a copy-paste of the one in std. Seemingly no significant modifications
were necessary.

This is based on top of #40

@Gankra Gankra mentioned this pull request Dec 5, 2022
Copy link
Contributor

@nnethercote nnethercote left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. I did a light review with lots of skimming based on the assumption that the original std code is good.

@nnethercote
Copy link
Contributor

This might be a good time to mention that I was also missing drain_filter in rust-lang/rust#104754 :)

@Gankra
Copy link
Collaborator Author

Gankra commented Dec 5, 2022

drain_filter is more dubious as an API, would Drain::keep_rest work for you?

https://doc.rust-lang.org/stable/std/vec/struct.Drain.html#method.keep_rest

The impl is a copy-paste of the one in std. Seemingly no significant modifications
were necessary.
@Gankra Gankra merged commit 54090ed into main Dec 5, 2022
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.

3 participants