src/test/ui/tool_lints.stderr - third_party/rust - Git at Google

 error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
   --> $DIR/tool_lints.rs:13:8
    |
 LL | #[warn(foo::bar)]
    |        ^^^

 error: aborting due to previous error

 For more information about this error, try `rustc --explain E0710`.
	error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
	--> $DIR/tool_lints.rs:13:8
	\|
	LL \| #[warn(foo::bar)]
	\| ^^^

	error: aborting due to previous error

	For more information about this error, try `rustc --explain E0710`.