From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 3 Aug 2020 12:00:28 +0000 (+0100)
Subject: note suppression issue
X-Git-Tag: otter-0.2.0~1185
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=47c4f689942cfe2d205f5c2bce4afee101c33ff8;p=otter.git

note suppression issue
---

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;
 }