lint-docs: Warn on missing lint when documenting.#80395

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

ehuss:lint-docs-warn-missingehuss/rust:lint-docs-warn-missingCopy head branch name to clipboard