diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2022-11-30 14:19:32 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-30 19:19:32 +0000 |
| commit | 623dbe7a5786a5aa600b14a7e13e26777313d844 (patch) | |
| tree | d5e5fdf567df986490a7e2be7f71e2b44f3ed070 /tools | |
| parent | 972048ce364a05bbb53a5cb3697dbf364cd3c412 (diff) | |
chore: remove unnecessary lifetimes (#16878)
It seems we don't really need to allow these clippy rules.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/lint.js | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tools/lint.js b/tools/lint.js index 4e842c2b9..a9279bb25 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -117,13 +117,6 @@ async function clippy() { "--", "-D", "warnings", - "-A", - // https://github.com/rust-lang/rust-clippy/issues/407 - "clippy::extra_unused_lifetimes", - "-A", - // https://github.com/rust-lang/rust-clippy/issues/7271 - // False positives in core/resources.rs for lifetime elision. - "clippy::needless_lifetimes", ], stdout: "inherit", stderr: "inherit", |