diff options
| author | xFrednet <xFrednet@gmail.com> | 2021-10-12 23:01:44 +0200 |
|---|---|---|
| committer | xFrednet <xFrednet@gmail.com> | 2021-11-10 19:48:30 +0100 |
| commit | 8565fc468e97d7ab4d350532474c36127960f8ee (patch) | |
| tree | f2f9c3c224cde14a74c77c67ce81d320260e753e /clippy_dev | |
| parent | 7c1e62d9628365530de69aeef86e30bd0b8a9604 (diff) | |
Add clippy version to Clippy's lint list
Diffstat (limited to 'clippy_dev')
| -rw-r--r-- | clippy_dev/src/update_lints.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clippy_dev/src/update_lints.rs b/clippy_dev/src/update_lints.rs index 23f58bc4915..f615f74e6de 100644 --- a/clippy_dev/src/update_lints.rs +++ b/clippy_dev/src/update_lints.rs @@ -18,6 +18,7 @@ static DEC_CLIPPY_LINT_RE: SyncLazy<Regex> = SyncLazy::new(|| { r#"(?x) declare_clippy_lint!\s*[\{(] (?:\s+///.*)* + (?:\s*\#\[clippy::version\s*=\s*"[^"]*"\])? \s+pub\s+(?P<name>[A-Z_][A-Z_0-9]*)\s*,\s* (?P<cat>[a-z_]+)\s*,\s* "(?P<desc>(?:[^"\\]+|\\(?s).(?-s))*)"\s*[})] |