src/test/ui/tool_lints.stderr

   1 error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
   2   --> $DIR/tool_lints.rs:1:8
   3    |
   4 LL | #[warn(foo::bar)]
   5    |        ^^^
   6
   7 error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
   8   --> $DIR/tool_lints.rs:1:8
   9    |
  10 LL | #[warn(foo::bar)]
  11    |        ^^^
  12
  13 error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
  14   --> $DIR/tool_lints.rs:1:8
  15    |
  16 LL | #[warn(foo::bar)]
  17    |        ^^^
  18
  19 error: aborting due to 3 previous errors
  20
  21 For more information about this error, try `rustc --explain E0710`.