Remove the Ord bound that was plaguing drain_filter#70843

Merged

bors merged 1 commit intorust-lang:masterfrom

ssomers:btree_drain_filter_epilogue

Apr 10, 2020

Commits on Apr 6, 2020

Remove the Ord bound that was plaguing drain_filter, and superfluous lifetimes
ssomers
committed