Skip to content

Commit d57d001

Browse files
Update cargo dev update_lints command to fix new warning emitted by duplicated_attributes
1 parent 749e225 commit d57d001

File tree

4 files changed

+62
-58
lines changed

4 files changed

+62
-58
lines changed

clippy_dev/src/update_lints.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -689,6 +689,8 @@ fn gen_deprecated_lints_test(lints: &[DeprecatedLint]) -> String {
689689
fn gen_renamed_lints_test(lints: &[RenamedLint]) -> String {
690690
let mut seen_lints = HashSet::new();
691691
let mut res: String = GENERATED_FILE_COMMENT.into();
692+
693+
res.push_str("#![allow(clippy::duplicated_attributes)]\n");
692694
for lint in lints {
693695
if seen_lints.insert(&lint.new_name) {
694696
writeln!(res, "#![allow({})]", lint.new_name).unwrap();

tests/ui/rename.fixed

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
// Use that command to update this file and do not edit by hand.
33
// Manual edits will be overwritten.
44

5+
#![allow(clippy::duplicated_attributes)]
56
#![allow(clippy::almost_complete_range)]
67
#![allow(clippy::disallowed_names)]
78
#![allow(clippy::blocks_in_conditions)]

tests/ui/rename.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
// Use that command to update this file and do not edit by hand.
33
// Manual edits will be overwritten.
44

5+
#![allow(clippy::duplicated_attributes)]
56
#![allow(clippy::almost_complete_range)]
67
#![allow(clippy::disallowed_names)]
78
#![allow(clippy::blocks_in_conditions)]

0 commit comments

Comments
 (0)