From 5b9620df7ac655449abd2cce5292bd4669b1f211 Mon Sep 17 00:00:00 2001 From: Divy Srivastava Date: Fri, 11 Nov 2022 05:44:53 -0800 Subject: feat(ops): implement fast lazy async ops (#16579) Implements fast scheduling of deferred op futures. ```rs #[op(fast)] async fn op_read( state: Rc>, rid: ResourceId, buf: &mut [u8], ) -> Result { // ... } ``` The future is scheduled via a fast API call and polled by the event loop after being woken up by its waker. --- tools/lint.js | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'tools') 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", -- cgit v1.2.3