From 623dbe7a5786a5aa600b14a7e13e26777313d844 Mon Sep 17 00:00:00 2001 From: David Sherret Date: Wed, 30 Nov 2022 14:19:32 -0500 Subject: chore: remove unnecessary lifetimes (#16878) It seems we don't really need to allow these clippy rules. --- tools/lint.js | 7 ------- 1 file changed, 7 deletions(-) (limited to 'tools') 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", -- cgit v1.2.3