diff options
Diffstat (limited to 'crates/arti/src')
| -rw-r--r-- | crates/arti/src/lib.rs | 1 | ||||
| -rw-r--r-- | crates/arti/src/main.rs | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/crates/arti/src/lib.rs b/crates/arti/src/lib.rs index 128871f1a..665ee315b 100644 --- a/crates/arti/src/lib.rs +++ b/crates/arti/src/lib.rs @@ -41,6 +41,7 @@ #![allow(clippy::result_large_err)] // temporary workaround for arti#587 #![allow(clippy::needless_raw_string_hashes)] // complained-about code is fine, often best #![allow(clippy::needless_lifetimes)] // See arti#1765 +#![allow(mismatched_lifetime_syntaxes)] // temporary workaround for arti#2060 //! <!-- @@ end lint list maintained by maint/add_warning @@ --> // TODO #1645 (either remove this, or decide to have it everywhere) diff --git a/crates/arti/src/main.rs b/crates/arti/src/main.rs index 8cb58cc41..9ad5592f2 100644 --- a/crates/arti/src/main.rs +++ b/crates/arti/src/main.rs @@ -43,6 +43,7 @@ #![allow(clippy::result_large_err)] // temporary workaround for arti#587 #![allow(clippy::needless_raw_string_hashes)] // complained-about code is fine, often best #![allow(clippy::needless_lifetimes)] // See arti#1765 +#![allow(mismatched_lifetime_syntaxes)] // temporary workaround for arti#2060 //! <!-- @@ end lint list maintained by maint/add_warning @@ --> fn main() { |