summaryrefslogtreecommitdiff
path: root/tools/lint.js
diff options
context:
space:
mode:
authorDivy Srivastava <dj.srivastava23@gmail.com>2022-11-11 05:44:53 -0800
committerGitHub <noreply@github.com>2022-11-11 19:14:53 +0530
commit5b9620df7ac655449abd2cce5292bd4669b1f211 (patch)
tree5fd028c3bc3f2963172aada45c3e56174863d2f1 /tools/lint.js
parentff92febb385c166744b49219ca7b3059c41ad34a (diff)
feat(ops): implement fast lazy async ops (#16579)
Implements fast scheduling of deferred op futures. ```rs #[op(fast)] async fn op_read( state: Rc<RefCell<OpState>>, rid: ResourceId, buf: &mut [u8], ) -> Result<u32, Error> { // ... } ``` The future is scheduled via a fast API call and polled by the event loop after being woken up by its waker.
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-xtools/lint.js4
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",