Skip to content

Add drain_filter method to HashMap and HashSet#76458

Merged
bors merged 4 commits into
rust-lang:masterfrom
mbrubeck:hash_drain_filter
Sep 10, 2020
Merged

Add drain_filter method to HashMap and HashSet#76458
bors merged 4 commits into
rust-lang:masterfrom
mbrubeck:hash_drain_filter

Tests for HashMap/HashSet::drain_filter

fb1fab5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs