Don't drain-on-drop in DrainFilter impls of various collections. - #104455

Merged

bors merged 7 commits into

rust-lang:masterfrom

the8472:dont-drain-on-drop

Jun 15, 2023

Commits on Jun 14, 2023

remove drain-on-drop behavior from vec::DrainFilter and add #[must_use]
the8472
committed
c0df1c8
remove drain-on-drop behavior from BTree{Set,Map}::DrainFilter and add #[must_use]
the8472
committed
b687e84
remove drain-on-drop behavior from linked_list::DrainFilter and add #[must_use]
the8472
committed
b7ce7ed
s/drain_filter/extract_if/ for Vec, Btree{Map,Set} and LinkedList
the8472
committed
114d5f2
remove hash_drain_filter feature uses
the8472
committed
18c9a12
update hashbrown and replace Hash{Set,Map}::DrainFilter with ExtractIf
the8472
committed
479be6a
update miri test
the8472
committed
0c5f442