From 4b38993cbc842a5fc44dce5f14dcdb4bcace239c Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 6 Mar 2022 11:46:38 +0000
Subject: [PATCH] wdriver: Add an allow for a field used only for its Drop
 behaviour

---
 wdriver/wdriver.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wdriver/wdriver.rs b/wdriver/wdriver.rs
index ec07a46f..f0d190a7 100644
--- a/wdriver/wdriver.rs
+++ b/wdriver/wdriver.rs
@@ -50,7 +50,7 @@ pub struct Setup {
   driver: T4d,
   current_window: WindowState,
   screenshot_count: ScreenShotCount,
-  final_hook: FinalInfoCollection,
+  #[allow(dead_code)] /* here for Drop impl */ final_hook: FinalInfoCollection,
   windows_squirreled: Vec<JsLogfile>, // see Drop impl
 }
 deref_to_field_mut!{Setup, SetupCore, core}
-- 
2.30.2