Add new `unused_footnote_definition` rustdoc lint - #137858

Merged

rust-bors[bot] merged 10 commits into

rust-lang:mainfrom

GuillaumeGomez:unused_footnote_def

Aug 13, 2026

Commits on Aug 12, 2026

Add new rustdoc `broken_footnote` lint
GuillaumeGomez
committed
31e436d
Add ui test for rustdoc `broken_footnote` lint
GuillaumeGomez
committed
37b8c53
Add new `unused_footnote_definition` rustdoc lint
GuillaumeGomez
committed
c74e84a
Add ui test for new `unused_footnote_definition` rustdoc lint
GuillaumeGomez
committed
9f30b84
Improve description of new rustdoc lints
GuillaumeGomez
committed
261a213
Remove outdated comment
GuillaumeGomez
committed
4420714
Add extra "broken_footnote" lint ui test
GuillaumeGomez
committed
92dcc5b
Fix backslashes and line breaks in footnote lint

notriddle
authored and
GuillaumeGomez
committed
7253b43
Split doc comment so lints are always emitted in the right order
GuillaumeGomez
committed
e736996
Fix tidy error
GuillaumeGomez
committed
116fdd1