blob: 34373df3a9c62e75c64cc5e477c9d50e17dfcb41 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// 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:`#[warn(renamed_and_removed_lints)]` on by default
// error-pattern:requested on the command line with `-D raw_pointer_derive`
#![warn(unused)]
#[deny(warnings)]
fn main() { let unused = (); }
|
