src/test/ui/lint/lint-renamed-allow.rs

   1 // No warnings about renamed lint when
   2 // allow(renamed_and_removed_lints)
   3
   4 #![allow(renamed_and_removed_lints)]
   5
   6 #[deny(single_use_lifetime)]
   7 #[deny(unused)]
   8 fn main() { let unused = (); } //~ ERROR unused