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)]
12 #[warn(clippy::stutter)]
15 #[warn(clippy::new_without_default_derive)]
18 #[warn(clippy::const_static_lifetime)]