BTreeMap: comment why drain_filter's size_hint is somewhat pessimistic#77449
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 9, 2020
Merged
BTreeMap: comment why drain_filter's size_hint is somewhat pessimistic#77449bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom