drain_filter - Githubissues

LPGhatguy / thunderdome

Arena type inspired by generational-arena

Apache License 2.0

197 stars 15 forks source link

drain_filter #23

Closed toyboot4e closed 3 years ago

toyboot4e commented 3 years ago

Vec::drain_filter is an unstable Rust feature. Alternative to it in Arena would be helpful in some cases.

Links:

Tracking issue for drain_filter
library/alloc/src/vec/drain_filter.rs

LPGhatguy commented 3 years ago

Because Vec::drain_filter is still unstable, I'm uncertain about adding it to Arena! I think I'd like to wait for the bikeshedding on the Vec version to settle down, since it seems like that API is still in flux.

In particular, it seems like it's uncertain what should happen to filtered elements!

toyboot4e commented 3 years ago

I see, thank you <3