Correct code for operations on empty `Vec`s#24604

pczarn wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

pczarn:draining-empty-vecpczarn/rust:draining-empty-vecCopy head branch name to clipboard