From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 10 May 2026 18:07:28 +0000 (+0100)
Subject: Suppress a lint for .get().is_some()
X-Git-Tag: debian/1.3.3~1^2~2
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=ddb451cef203ae442c31de50530f3965fdcb3aed;p=hippotat.git

Suppress a lint for .get().is_some()

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/src/lib.rs b/src/lib.rs
index 56f957c..165b846 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -12,6 +12,7 @@
 
 #![allow(clippy::style)]
 #![allow(clippy::complexity)]
+#![allow(clippy::unnecessary_get_then_check)] // rust-lang/rust-clippy#16990
 
 pub mod prelude;