Implemented DrainFilter#292

Merged

bors-servo merged 10 commits intoservo:masterfrom

L0uisc:drain_filter

Jun 15, 2023

Commits on Jun 15, 2023

Added DrainFilter struct

L0uisc
authored and
mbrubeck
committed
Added .vscode folder to .gitignore

L0uisc
authored and
mbrubeck
committed
Debug and Iterator impl for DrainFilter

L0uisc
authored and
mbrubeck
committed
Added Iterator `size_hint` method and typo fixes.

L0uisc
authored and
mbrubeck
committed
drain_filter method to create DrainFilter iterator.

L0uisc
authored and
mbrubeck
committed
Implemented Drop for DrainFilter

L0uisc
authored and
mbrubeck
committed
Added test

L0uisc
authored and
mbrubeck
committed
drain_filter feature flag

L0uisc
authored and
mbrubeck
committed
keep_rest method for DrainFilter

L0uisc
authored and
mbrubeck
committed
DrainFiilter drain_keep_rest feature flag and test

L0uisc
authored and
mbrubeck
committed