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::cognitive_complexity)]
12 #[warn(clippy::module_name_repetitions)]
15 #[warn(clippy::new_without_default)]
18 #[warn(clippy::redundant_static_lifetimes)]