From 47c4f689942cfe2d205f5c2bce4afee101c33ff8 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 3 Aug 2020 13:00:28 +0100
Subject: [PATCH] note suppression issue

---
 src/error.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/error.rs b/src/error.rs
index 8d77df34..aa0185fe 100644
--- a/src/error.rs
+++ b/src/error.rs
@@ -87,7 +87,8 @@ pub trait ById {
 
 pub trait IdForById {
   type Error;
-  #[allow(clippy::declare_interior_mutable_const)] // todo: report this
+  #[allow(clippy::declare_interior_mutable_const)]
+// https://github.com/rust-lang/rust-clippy/issues/3962#issuecomment-667957112
   const ERROR : Self::Error;
 }
 
-- 
2.30.2