diff --git a/maint/add_warning b/maint/add_warning index 97a6df8f5..d0ed2cdd7 100755 --- a/maint/add_warning +++ b/maint/add_warning @@ -61,6 +61,7 @@ TEST_LINTS = """ #![allow(clippy::single_char_pattern)] #![allow(clippy::unwrap_used)] #![allow(clippy::unchecked_duration_subtraction)] +#![allow(clippy::useless_vec)] """ # ---------- some notes about lints we might use - NOT USED by any code here ----------