Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Error code E0710

An unknown tool name was found in a scoped lint.

Erroneous code examples:

#[allow(clipp::filter_map)] // error! fn main() { // business logic }
#[warn(clipp::filter_map)] // error! fn main() { // business logic }

Please verify you didn't misspell the tool's name or that you didn't forget to import it in you project:

#[allow(clippy::filter_map)] // ok! fn main() { // business logic }
#[warn(clippy::filter_map)] // ok! fn main() { // business logic }