diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2024-03-11 23:48:00 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-11 23:48:00 -0400 |
| commit | ad6b00a2bf061a90c72737d0ecc4a58bb0a89550 (patch) | |
| tree | daf342fa1d0dcde202a116ac010f310ba4321fa9 /ext/web/timers.rs | |
| parent | c38c14f51f2edc8d25f349de52fc1268b97b59b2 (diff) | |
chore: enable clippy unused_async rule (#22834)
Diffstat (limited to 'ext/web/timers.rs')
| -rw-r--r-- | ext/web/timers.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/web/timers.rs b/ext/web/timers.rs index 8e2f94338..b3060a46f 100644 --- a/ext/web/timers.rs +++ b/ext/web/timers.rs @@ -43,5 +43,6 @@ where buf[1] = subsec_nanos; } +#[allow(clippy::unused_async)] #[op2(async(lazy), fast)] pub async fn op_defer() {} |