Add new unused_footnote_definition rustdoc lint#137858

GuillaumeGomez wants to merge 8 commits into

rust-lang:mainrust-lang/rust:mainfrom

GuillaumeGomez:unused_footnote_defGuillaumeGomez/rust:unused_footnote_defCopy head branch name to clipboard