2017-02-07 14:05:30 -06:00
|
|
|
error: `conf_file` value must be a string
|
|
|
|
|
--> $DIR/conf_path_non_string.rs:3:28
|
|
|
|
|
|
|
|
|
|
|
3 | #![plugin(clippy(conf_file=42))]
|
|
|
|
|
| ^^
|
|
|
|
|
|
|
|
|
|
|
note: Clippy will use default configuration
|
|
|
|
|
--> $DIR/conf_path_non_string.rs:3:28
|
|
|
|
|
|
|
|
|
|
|
3 | #![plugin(clippy(conf_file=42))]
|
|
|
|
|
| ^^
|
|
|
|
|
|
2017-07-02 23:37:14 -05:00
|
|
|
error: aborting due to previous error
|
2017-02-07 14:05:30 -06:00
|
|
|
|
