2017-02-07 14:05:30 -06:00
|
|
|
error: useless lint attribute
|
|
|
|
--> $DIR/useless_attribute.rs:5:1
|
|
|
|
|
|
2017-02-08 07:58:07 -06:00
|
|
|
5 | #[allow(dead_code)]
|
2017-05-03 05:51:47 -05:00
|
|
|
| ^^^^^^^^^^^^^^^^^^^ help: if you just forgot a `!`, use `#![allow(dead_code)]`
|
2017-02-07 14:05:30 -06:00
|
|
|
|
|
|
|
|
note: lint level defined here
|
|
|
|
--> $DIR/useless_attribute.rs:3:9
|
|
|
|
|
|
|
|
|
3 | #![deny(useless_attribute)]
|
|
|
|
| ^^^^^^^^^^^^^^^^^
|
|
|
|
|
|
|
|
error: aborting due to previous error
|
|
|
|
|