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 }