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

// No warnings about removed lint when
// allow(renamed_and_removed_lints)

#![allow(renamed_and_removed_lints)]

#[deny(raw_pointer_derive)]
#[deny(unused_variables)]
fn main() { let unused = (); } //~ ERROR unused