diff options
| author | Jason Newcomb <jsnewcomb@pm.me> | 2024-08-24 17:34:45 -0400 |
|---|---|---|
| committer | Jason Newcomb <jsnewcomb@pm.me> | 2024-08-24 18:33:44 -0400 |
| commit | 173d5a6af0f2352b3efa0b3a2faad87207706936 (patch) | |
| tree | 6edfd6284a78d5390d15f03d34bc7e1f7c82cd52 /clippy_dev | |
| parent | 43e1145c80d1c2f4e159885d382659ace3a1bc5d (diff) | |
| download | rust-173d5a6af0f2352b3efa0b3a2faad87207706936.tar.gz rust-173d5a6af0f2352b3efa0b3a2faad87207706936.zip | |
Merge commit '0f8eabd6231366bfc1bb1464601297c2d48f8f68' into clippyup
Diffstat (limited to 'clippy_dev')
| -rw-r--r-- | clippy_dev/src/main.rs | 1 | ||||
| -rw-r--r-- | clippy_dev/src/update_lints.rs | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/clippy_dev/src/main.rs b/clippy_dev/src/main.rs index 755b04b0b23..fc15913354c 100644 --- a/clippy_dev/src/main.rs +++ b/clippy_dev/src/main.rs @@ -1,3 +1,4 @@ +#![feature(rustc_private)] // warn on lints, that are included in `rust-lang/rust`s bootstrap #![warn(rust_2018_idioms, unused_lifetimes)] diff --git a/clippy_dev/src/update_lints.rs b/clippy_dev/src/update_lints.rs index 15578d69c3a..8dbda1c634c 100644 --- a/clippy_dev/src/update_lints.rs +++ b/clippy_dev/src/update_lints.rs @@ -604,7 +604,7 @@ fn gen_declared_lints<'a>( details.sort_unstable(); let mut output = GENERATED_FILE_COMMENT.to_string(); - output.push_str("pub(crate) static LINTS: &[&crate::LintInfo] = &[\n"); + output.push_str("pub static LINTS: &[&crate::LintInfo] = &[\n"); for (is_public, module_name, lint_name) in details { if !is_public { |