summaryrefslogtreecommitdiffstats
path: root/src/test/ui/lint/lint-renamed-allow.rs
blob: 9cf6f329c6cf9159915da0be48955e374a94ec0c (plain)
1
2
3
4
5
6
7
8
// No warnings about renamed lint when
// allow(renamed_and_removed_lints)

#![allow(renamed_and_removed_lints)]

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