diff options
| author | Philipp Krones <hello@philkrones.com> | 2023-04-11 15:31:08 +0200 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2023-04-11 15:31:08 +0200 |
| commit | 0ca8ae5edd730d3c17b3f839dcff9aa906aa8c19 (patch) | |
| tree | d4de99e1486055040888a6096e95a87e9c44f6d0 /src/tools/clippy/clippy_dev | |
| parent | dfe024e1041d1cba1d3191024de3b7128c6734e6 (diff) | |
| parent | 83e42a2337dadac915c956d125f1d69132f36425 (diff) | |
| download | rust-0ca8ae5edd730d3c17b3f839dcff9aa906aa8c19.tar.gz rust-0ca8ae5edd730d3c17b3f839dcff9aa906aa8c19.zip | |
Merge commit '83e42a2337dadac915c956d125f1d69132f36425' into clippyup
Diffstat (limited to 'src/tools/clippy/clippy_dev')
| -rw-r--r-- | src/tools/clippy/clippy_dev/src/lib.rs | 1 | ||||
| -rw-r--r-- | src/tools/clippy/clippy_dev/src/new_lint.rs | 8 | ||||
| -rw-r--r-- | src/tools/clippy/clippy_dev/src/update_lints.rs | 14 |
3 files changed, 8 insertions, 15 deletions
diff --git a/src/tools/clippy/clippy_dev/src/lib.rs b/src/tools/clippy/clippy_dev/src/lib.rs index 8871873c661..3a8b070d735 100644 --- a/src/tools/clippy/clippy_dev/src/lib.rs +++ b/src/tools/clippy/clippy_dev/src/lib.rs @@ -1,3 +1,4 @@ +#![feature(lazy_cell)] #![feature(let_chains)] #![feature(rustc_private)] #![cfg_attr(feature = "deny-warnings", deny(warnings))] diff --git a/src/tools/clippy/clippy_dev/src/new_lint.rs b/src/tools/clippy/clippy_dev/src/new_lint.rs index 420214d9256..13a27703427 100644 --- a/src/tools/clippy/clippy_dev/src/new_lint.rs +++ b/src/tools/clippy/clippy_dev/src/new_lint.rs @@ -369,9 +369,7 @@ fn create_lint_for_ty(lint: &LintData<'_>, enable_msrv: bool, ty: &str) -> io::R }} todo!(); }} - "#, - context_import = context_import, - name_upper = name_upper, + "# ); } else { let _: fmt::Result = writedoc!( @@ -385,9 +383,7 @@ fn create_lint_for_ty(lint: &LintData<'_>, enable_msrv: bool, ty: &str) -> io::R pub(super) fn check(cx: &{context_import}) {{ todo!(); }} - "#, - context_import = context_import, - name_upper = name_upper, + "# ); } diff --git a/src/tools/clippy/clippy_dev/src/update_lints.rs b/src/tools/clippy/clippy_dev/src/update_lints.rs index 779e4d0e1e3..95222a9acdf 100644 --- a/src/tools/clippy/clippy_dev/src/update_lints.rs +++ b/src/tools/clippy/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, + " ) } |
