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

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