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