diff options
| author | xFrednet <xFrednet@gmail.com> | 2022-05-20 20:37:38 +0200 |
|---|---|---|
| committer | xFrednet <xFrednet@gmail.com> | 2022-05-20 20:47:31 +0200 |
| commit | 4e6cf0036e5e7afdc4fe86cccc99482ff4cf71bf (patch) | |
| tree | c0de46a0482ccc460d4789e23b4d2abb5bf17787 /clippy_dev/src/update_lints.rs | |
| parent | 01421e0cbda66655e25d48c1c72c2dcbe77040c2 (diff) | |
| parent | 6f26383f8ec8dfe89858876eac127161d148eb13 (diff) | |
| download | rust-4e6cf0036e5e7afdc4fe86cccc99482ff4cf71bf.tar.gz rust-4e6cf0036e5e7afdc4fe86cccc99482ff4cf71bf.zip | |
Merge remote-tracking branch 'upstream/master' into rustup
Diffstat (limited to 'clippy_dev/src/update_lints.rs')
| -rw-r--r-- | clippy_dev/src/update_lints.rs | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/clippy_dev/src/update_lints.rs b/clippy_dev/src/update_lints.rs index 1a6a4336da2..5024e63bfa7 100644 --- a/clippy_dev/src/update_lints.rs +++ b/clippy_dev/src/update_lints.rs @@ -17,7 +17,7 @@ const GENERATED_FILE_COMMENT: &str = "// This file was generated by `cargo dev u const DOCS_LINK: &str = "https://rust-lang.github.io/rust-clippy/master/index.html"; -#[derive(Clone, Copy, PartialEq)] +#[derive(Clone, Copy, PartialEq, Eq)] pub enum UpdateMode { Check, Change, @@ -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(); @@ -372,7 +377,7 @@ fn exit_with_failure() { } /// Lint data parsed from the Clippy source code. -#[derive(Clone, PartialEq, Debug)] +#[derive(Clone, PartialEq, Eq, Debug)] struct Lint { name: String, group: String, @@ -414,7 +419,7 @@ impl Lint { } } -#[derive(Clone, PartialEq, Debug)] +#[derive(Clone, PartialEq, Eq, Debug)] struct DeprecatedLint { name: String, reason: String, |
