Add long error explanation for E0710 #61137

1 files changed, 25 insertions, 0 deletions

diff --git a/src/librustc_error_codes/error_codes/E0710.md b/src/librustc_error_codes/error_codes/E0710.md
new file mode 100644
index 00000000000..c0b58eb00f3
--- /dev/null
+++ b/src/librustc_error_codes/error_codes/E0710.md
@@ -0,0 +1,25 @@
+An unknown tool name found in scoped lint
+
+Erroneous code example:
+
+```compile_fail,E0710
+#[allow(clipp::filter_map)] // error: an unknown tool name found in scoped lint: `clipp::filter_map`
+
+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
+    */
+}
+```
\ No newline at end of file