chiark
/
gitweb
/
~ianmdlvl
/
otter.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2425ea2
)
note suppression issue
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Mon, 3 Aug 2020 12:00:28 +0000
(13:00 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Mon, 3 Aug 2020 12:00:28 +0000
(13:00 +0100)
src/error.rs
patch
|
blob
|
history
diff --git
a/src/error.rs
b/src/error.rs
index 8d77df34a599561efa1eb6570538bb493dd7091c..aa0185fe8eeac384a7042a464acd594d0b3c08d4 100644
(file)
--- 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;
}