Modern versions of Rust nightlies have renamed `Vec::drain_filter` to `Vec::extract_if` and changed the semantics slightly, but we actually don't even need it, because stable Rust has `Vec::retain` and we don't need to do anything with the removed pages.master
parent
21e8a7085f
commit
00c9d23822
Loading…
Reference in new issue