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 06:37:14 +02:00
|
|
|
error: aborting due to previous error
|
2017-02-07 21:05:30 +01:00
|
|
|
|
