diff options
| -rw-r--r-- | src/librustc_error_codes/error_codes/E0710.md | 4 | ||||
| -rw-r--r-- | src/test/ui/tool_lints.stderr | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/librustc_error_codes/error_codes/E0710.md b/src/librustc_error_codes/error_codes/E0710.md index d577cfb1e12..cbb667d832d 100644 --- a/src/librustc_error_codes/error_codes/E0710.md +++ b/src/librustc_error_codes/error_codes/E0710.md @@ -3,7 +3,7 @@ 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` +#[allow(clipp::filter_map)] // error!` fn main() { /** *business logic @@ -21,4 +21,4 @@ fn main() { *business logic */ } -``` \ No newline at end of file +``` diff --git a/src/test/ui/tool_lints.stderr b/src/test/ui/tool_lints.stderr index 86f87784eaf..b19e1370010 100644 --- a/src/test/ui/tool_lints.stderr +++ b/src/test/ui/tool_lints.stderr @@ -18,3 +18,4 @@ LL | #[warn(foo::bar)] error: aborting due to 3 previous errors +For more information about this error, try `rustc --explain E0710`. \ No newline at end of file |