diff options
author | Divy Srivastava <dj.srivastava23@gmail.com> | 2022-11-11 05:44:53 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-11 19:14:53 +0530 |
commit | 5b9620df7ac655449abd2cce5292bd4669b1f211 (patch) | |
tree | 5fd028c3bc3f2963172aada45c3e56174863d2f1 /tools/lint.js | |
parent | ff92febb385c166744b49219ca7b3059c41ad34a (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-x | tools/lint.js | 4 |
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", |