diff options
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() {} |