diff options
Diffstat (limited to 'maint')
| -rwxr-xr-x | maint/add_warning | 1 | ||||
| -rw-r--r-- | maint/fixup-features/src/graph.rs | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/maint/add_warning b/maint/add_warning index 37db20668..b766a8cdd 100755 --- a/maint/add_warning +++ b/maint/add_warning @@ -56,6 +56,7 @@ WANT_LINTS = """ #![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 """ # ---------- list of lints to apply or disapply *in tests* ---------- diff --git a/maint/fixup-features/src/graph.rs b/maint/fixup-features/src/graph.rs index 851be62c9..0b1b28662 100644 --- a/maint/fixup-features/src/graph.rs +++ b/maint/fixup-features/src/graph.rs @@ -44,6 +44,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 @@ --> // @@ begin test lint list maintained by maint/add_warning @@ |