diff options
| author | Yuri Astrakhan <YuriAstrakhan@gmail.com> | 2023-03-28 20:52:55 -0400 |
|---|---|---|
| committer | Yuri Astrakhan <YuriAstrakhan@gmail.com> | 2023-03-28 21:08:06 -0400 |
| commit | 783879e6fe48b5bd776bf2b1c9314fda3e30447d (patch) | |
| tree | 831db9b3683ddf871bf58cd52bc2a3e6f1f2dcac /clippy_dev/src/update_lints.rs | |
| parent | 58fb8014146c22bfdf60f47c864537abc7b78486 (diff) | |
| download | rust-783879e6fe48b5bd776bf2b1c9314fda3e30447d.tar.gz rust-783879e6fe48b5bd776bf2b1c9314fda3e30447d.zip | |
Partial no-op refactoring of #9948
This contains preparatory work for #9948 to keep that change to the minimum, and make it easier to review it.
Diffstat (limited to 'clippy_dev/src/update_lints.rs')
| -rw-r--r-- | clippy_dev/src/update_lints.rs | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/clippy_dev/src/update_lints.rs b/clippy_dev/src/update_lints.rs index 779e4d0e1e3..95222a9acdf 100644 --- a/clippy_dev/src/update_lints.rs +++ b/clippy_dev/src/update_lints.rs @@ -537,17 +537,13 @@ fn declare_deprecated(name: &str, path: &Path, reason: &str) -> io::Result<()> { /// Nothing. This lint has been deprecated. /// /// ### Deprecation reason - /// {} - #[clippy::version = \"{}\"] - pub {}, - \"{}\" + /// {deprecation_reason} + #[clippy::version = \"{version}\"] + pub {name}, + \"{reason}\" }} - ", - deprecation_reason, - version, - name, - reason, + " ) } |
