1 //! Test for Clippy lint renames.
5 // allow the new lint name here, to test if the new name works
6 #![allow(clippy::module_name_repetitions)]
7 #![allow(clippy::new_without_default)]
8 #![allow(clippy::redundant_static_lifetimes)]
9 // warn for the old lint name here, to test if the renaming worked
10 #![warn(clippy::cyclomatic_complexity)]
11 #![warn(clippy::mem_discriminant_non_enum)]
13 #[warn(clippy::stutter)]
16 #[warn(clippy::new_without_default_derive)]
19 #[warn(clippy::const_static_lifetime)]