blob: 6616781d5cb77e11666b6d35494264a33d8d58c7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// The raw_pointer_derived lint warns about its removal
// cc #30346
//@ compile-flags:-D renamed-and-removed-lints -D raw_pointer_derive
//@ error-pattern:requested on the command line with `-D raw_pointer_derive`
//@ error-pattern:requested on the command line with `-D renamed-and-removed-lints`
#![warn(unused)]
#[deny(warnings)]
fn main() { let unused = (); } //~ ERROR unused variable: `unused`
//~? ERROR lint `raw_pointer_derive` has been removed: using derive with raw pointers is ok
//~? ERROR lint `raw_pointer_derive` has been removed: using derive with raw pointers is ok
//~? ERROR lint `raw_pointer_derive` has been removed: using derive with raw pointers is ok
|
