diff options
Diffstat (limited to 'maint/add_warning')
| -rwxr-xr-x | maint/add_warning | 1 |
1 files changed, 1 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* ---------- |