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 cb9fe9709..37db20668 100755 --- a/maint/add_warning +++ b/maint/add_warning @@ -49,6 +49,7 @@ WANT_LINTS = """ #![deny(clippy::unnecessary_wraps)] #![warn(clippy::unseparated_literal_suffix)] #![deny(clippy::unwrap_used)] +#![deny(clippy::mod_module_files)] #![allow(clippy::let_unit_value)] // This can reasonably be done for explicitness #![allow(clippy::uninlined_format_args)] #![allow(clippy::significant_drop_in_scrutinee)] // arti/-/merge_requests/588/#note_2812945 |