summaryrefslogtreecommitdiffstats
path: root/src/test/ui/lint/lint-removed-cmdline.rs
blob: 462beabb9451cddfb6eb488982cf6a35fb587678 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
// The raw_pointer_derived lint warns about its removal
// cc #30346

// compile-flags:-D raw_pointer_derive

// error-pattern:lint `raw_pointer_derive` has been removed
// error-pattern:requested on the command line with `-D raw_pointer_derive`

#![warn(unused)]

#[deny(warnings)]
fn main() { let unused = (); }