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