diff options
Diffstat (limited to 'crates/arti-config/src')
| -rw-r--r-- | crates/arti-config/src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/crates/arti-config/src/lib.rs b/crates/arti-config/src/lib.rs index 9ff4d74ba..9953f4d89 100644 --- a/crates/arti-config/src/lib.rs +++ b/crates/arti-config/src/lib.rs @@ -8,6 +8,8 @@ //! This empty crate is published as a tombstone. // @@ 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)] @@ -38,6 +40,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 @@ --> // EOF |
