1 files changed, 4 insertions, 0 deletions
diff --git a/tools/lint.js b/tools/lint.js
index 11e912f49..45c94abdf 100755
--- a/tools/lint.js
+++ b/tools/lint.js
@@ -120,6 +120,10 @@ async function clippy() {
       "-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",