diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-02-28 17:37:57 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-03-09 12:43:19 +0100 |
| commit | d57d001543474a4efd37384ed873dd528f14d383 (patch) | |
| tree | 237c77725e48076bf7b9ecd88e118c53d15c8395 /clippy_dev | |
| parent | 749e225cd64b26197b62a179a11e0040dcbef8ad (diff) | |
| download | rust-d57d001543474a4efd37384ed873dd528f14d383.tar.gz rust-d57d001543474a4efd37384ed873dd528f14d383.zip | |
Update `cargo dev update_lints` command to fix new warning emitted by `duplicated_attributes`
Diffstat (limited to 'clippy_dev')
| -rw-r--r-- | clippy_dev/src/update_lints.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clippy_dev/src/update_lints.rs b/clippy_dev/src/update_lints.rs index 2222abff7ad..76ae26dddf4 100644 --- a/clippy_dev/src/update_lints.rs +++ b/clippy_dev/src/update_lints.rs @@ -689,6 +689,8 @@ fn gen_deprecated_lints_test(lints: &[DeprecatedLint]) -> String { fn gen_renamed_lints_test(lints: &[RenamedLint]) -> String { let mut seen_lints = HashSet::new(); let mut res: String = GENERATED_FILE_COMMENT.into(); + + res.push_str("#![allow(clippy::duplicated_attributes)]\n"); for lint in lints { if seen_lints.insert(&lint.new_name) { writeln!(res, "#![allow({})]", lint.new_name).unwrap(); |