diff options
Diffstat (limited to 'crates/arti/src/main.rs')
| -rw-r--r-- | crates/arti/src/main.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/crates/arti/src/main.rs b/crates/arti/src/main.rs index 5b35c6f1a..cc4f99d68 100644 --- a/crates/arti/src/main.rs +++ b/crates/arti/src/main.rs @@ -3,6 +3,8 @@ //! See the [crate-level documentation](::arti). // @@ 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)] @@ -33,6 +35,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 @@ --> fn main() { |