rustdoc: remove useless Symbol::is_empty checks.#138917

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

nnethercote:rustdoc-remove-uselessnnethercote/rust:rustdoc-remove-uselessCopy head branch name to clipboard