diff options
Diffstat (limited to 'crates/safelog/src/lib.rs')
| -rw-r--r-- | crates/safelog/src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/crates/safelog/src/lib.rs b/crates/safelog/src/lib.rs index 666f83d2c..27e67c22c 100644 --- a/crates/safelog/src/lib.rs +++ b/crates/safelog/src/lib.rs @@ -69,6 +69,8 @@ //! information isn't _ever_ suitable for logging, we omit it entirely. // @@ begin lint list maintained by maint/add_warning @@ +#![cfg_attr(not(ci_arti_stable), allow(renamed_and_removed_lints))] +#![cfg_attr(not(ci_arti_nightly), allow(unknown_lints))] #![deny(missing_docs)] #![warn(noop_method_call)] #![deny(unreachable_pub)] @@ -99,6 +101,7 @@ #![warn(clippy::unseparated_literal_suffix)] #![deny(clippy::unwrap_used)] #![allow(clippy::let_unit_value)] // This can reasonably be done for explicitness +#![allow(clippy::significant_drop_in_scrutinee)] // arti/-/merge_requests/588/#note_2812945 //! <!-- @@ end lint list maintained by maint/add_warning @@ --> // TODO: Try making it not Deref and having expose+expose_mut instead; how bad is it? |