diff options
Diffstat (limited to 'crates/tor-config/src/lib.rs')
| -rw-r--r-- | crates/tor-config/src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/crates/tor-config/src/lib.rs b/crates/tor-config/src/lib.rs index e9cc191cd..12111e8c8 100644 --- a/crates/tor-config/src/lib.rs +++ b/crates/tor-config/src/lib.rs @@ -57,6 +57,8 @@ //! [#285]: https://gitlab.torproject.org/tpo/core/arti/-/issues/285 // @@ 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)] @@ -87,6 +89,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 @@ --> pub mod cmdline; |