2017-02-07 21:05:30 +01:00
|
|
|
error: `conf_file` must be a named value
|
|
|
|
|
--> $DIR/conf_bad_arg.rs:4:18
|
|
|
|
|
|
|
|
|
|
|
4 | #![plugin(clippy(conf_file))]
|
|
|
|
|
| ^^^^^^^^^
|
|
|
|
|
|
|
|
|
|
|
note: Clippy will use default configuration
|
|
|
|
|
--> $DIR/conf_bad_arg.rs:4:18
|
|
|
|
|
|
|
|
|
|
|
4 | #![plugin(clippy(conf_file))]
|
|
|
|
|
| ^^^^^^^^^
|
|
|
|
|
|
2017-07-03 12:37:14 +08:00
|
|
|
error: aborting due to previous error
|
2017-02-07 21:05:30 +01:00
|
|
|
|
