2018-07-04 07:25:33 -05:00
|
|
|
error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
|
2018-12-25 09:56:47 -06:00
|
|
|
--> $DIR/tool_lints.rs:1:8
|
2018-07-04 07:25:33 -05:00
|
|
|
|
|
|
|
|
LL | #[warn(foo::bar)]
|
|
|
|
| ^^^
|
|
|
|
|
2020-01-08 11:02:10 -06:00
|
|
|
error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
|
|
|
|
--> $DIR/tool_lints.rs:1:8
|
|
|
|
|
|
|
|
|
LL | #[warn(foo::bar)]
|
|
|
|
| ^^^
|
|
|
|
|
|
|
|
error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
|
|
|
|
--> $DIR/tool_lints.rs:1:8
|
|
|
|
|
|
|
|
|
LL | #[warn(foo::bar)]
|
|
|
|
| ^^^
|
|
|
|
|
|
|
|
error: aborting due to 3 previous errors
|
2018-07-04 07:25:33 -05:00
|
|
|
|
2020-03-24 05:11:31 -05:00
|
|
|
For more information about this error, try `rustc --explain E0710`.
|