elaborate_drop: Avoid as_mut.unwrap dance, empty vectors are cheap.#157162

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

cjgillot:as_mut_unwrapcjgillot/rust:as_mut_unwrapCopy head branch name to clipboard