chiark / gitweb /
note suppression issue
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 3 Aug 2020 12:00:28 +0000 (13:00 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 3 Aug 2020 12:00:28 +0000 (13:00 +0100)
src/error.rs

index 8d77df34a599561efa1eb6570538bb493dd7091c..aa0185fe8eeac384a7042a464acd594d0b3c08d4 100644 (file)
@@ -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;
 }