compiler/rustc_error_codes/src/error_codes/E0710.md

   1 An unknown tool name was found in a scoped lint.
   2
   3 Erroneous code examples:
   4
   5 ```compile_fail,E0710
   6 #[allow(clipp::filter_map)] // error!`
   7 fn main() {
   8     // business logic
   9 }
  10 ```
  11
  12 ```compile_fail,E0710
  13 #[warn(clipp::filter_map)] // error!`
  14 fn main() {
  15     // business logic
  16 }
  17 ```
  18
  19 Please verify you didn't misspell the tool's name or that you didn't
  20 forget to import it in you project:
  21
  22 ```
  23 #[allow(clippy::filter_map)] // ok!
  24 fn main() {
  25     // business logic
  26 }
  27 ```
  28
  29 ```
  30 #[warn(clippy::filter_map)] // ok!
  31 fn main() {
  32     // business logic
  33 }
  34 ```