summaryrefslogtreecommitdiffstats
path: root/src/test/ui/lint/lint-removed-allow.rs
blob: 30ba4f02f061f219aa34e786286594cef03c41c5 (plain)
1
2
3
4
5
6
7
8
// 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