From a5aa6652c63a9f6d9ef2f2636ea24c04fa0cf604 Mon Sep 17 00:00:00 2001
From: John Spray <john@neon.tech>
Date: Mon, 11 Sep 2023 18:10:37 +0100
Subject: [PATCH] clippy deletion queue

---
 pageserver/src/deletion_queue.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pageserver/src/deletion_queue.rs b/pageserver/src/deletion_queue.rs
index 51a2cf9f48..3bdd5eba18 100644
--- a/pageserver/src/deletion_queue.rs
+++ b/pageserver/src/deletion_queue.rs
@@ -764,6 +764,7 @@ mod test {
 
     #[async_trait::async_trait]
     impl ControlPlaneGenerationsApi for MockControlPlane {
+        #[allow(clippy::diverging_sub_expression)] // False positive via async_trait
         async fn re_attach(&self) -> anyhow::Result<HashMap<TenantId, Generation>> {
             unimplemented!()
         }