2016-03-12 20:46:59 +00:00
|
|
|
// No warnings about removed lint when
|
|
|
|
// allow(renamed_and_removed_lints)
|
|
|
|
|
2017-07-26 21:51:09 -07:00
|
|
|
#![allow(renamed_and_removed_lints)]
|
|
|
|
|
2016-03-12 20:46:59 +00:00
|
|
|
#[deny(raw_pointer_derive)]
|
|
|
|
#[deny(unused_variables)]
|
2016-04-15 21:23:50 -04:00
|
|
|
fn main() { let unused = (); } //~ ERROR unused
|