src/test/ui/unknown-lint-tool-name.stderr

   1 error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
   2   --> $DIR/unknown-lint-tool-name.rs:1:9
   3    |
   4 LL | #![deny(foo::bar)]
   5    |         ^^^
   6
   7 error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
   8   --> $DIR/unknown-lint-tool-name.rs:5:9
   9    |
  10 LL | #[allow(foo::bar)]
  11    |         ^^^
  12
  13 error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
  14   --> $DIR/unknown-lint-tool-name.rs:1:9
  15    |
  16 LL | #![deny(foo::bar)]
  17    |         ^^^
  18
  19 error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
  20   --> $DIR/unknown-lint-tool-name.rs:5:9
  21    |
  22 LL | #[allow(foo::bar)]
  23    |         ^^^
  24
  25 error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
  26   --> $DIR/unknown-lint-tool-name.rs:1:9
  27    |
  28 LL | #![deny(foo::bar)]
  29    |         ^^^
  30
  31 error[E0710]: an unknown tool name found in scoped lint: `foo::bar`
  32   --> $DIR/unknown-lint-tool-name.rs:5:9
  33    |
  34 LL | #[allow(foo::bar)]
  35    |         ^^^
  36
  37 error: aborting due to 6 previous errors
  38
  39 For more information about this error, try `rustc --explain E0710`.