Update BTreeSet::drain_filter documentation#86789

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

janikrabe:btreeset-drainfilter-docCopy head branch name to clipboard