diff options
| author | Jason Newcomb <jsnewcomb@pm.me> | 2022-05-03 11:03:08 -0400 |
|---|---|---|
| committer | Jason Newcomb <jsnewcomb@pm.me> | 2022-05-15 17:10:48 -0400 |
| commit | f7378daf71d0b0cf52a2f1800433ba40314a09b7 (patch) | |
| tree | 7412900751ea5eaca4f702dd3077d5335d4735bf /clippy_dev/src | |
| parent | 4fd296824282a6f4fc3a2634a56c4a34f86c3097 (diff) | |
| download | rust-f7378daf71d0b0cf52a2f1800433ba40314a09b7.tar.gz rust-f7378daf71d0b0cf52a2f1800433ba40314a09b7.zip | |
Add renamed lints to the changelog link list
Diffstat (limited to 'clippy_dev/src')
| -rw-r--r-- | clippy_dev/src/update_lints.rs | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/clippy_dev/src/update_lints.rs b/clippy_dev/src/update_lints.rs index e9cc4f29943..5024e63bfa7 100644 --- a/clippy_dev/src/update_lints.rs +++ b/clippy_dev/src/update_lints.rs @@ -66,8 +66,13 @@ fn generate_lint_files( |res| { for lint in usable_lints .iter() - .map(|l| &l.name) - .chain(deprecated_lints.iter().map(|l| &l.name)) + .map(|l| &*l.name) + .chain(deprecated_lints.iter().map(|l| &*l.name)) + .chain( + renamed_lints + .iter() + .map(|l| l.old_name.strip_prefix("clippy::").unwrap_or(&l.old_name)), + ) .sorted() { writeln!(res, "[`{}`]: {}#{}", lint, DOCS_LINK, lint).unwrap(); |