Skip to content

Commit 3586ab6

Browse files
authored
Rollup merge of rust-lang#70352 - bishtpawan:doc/61137-add-long-error-code-e0710, r=Dylan-DPC
Add long error explanation for E0710 Add long explanation for the E0710 error code Part of rust-lang#61137 r? @GuillaumeGomez
2 parents 1154023 + 5c65568 commit 3586ab6

File tree

4 files changed

+37
-1
lines changed

4 files changed

+37
-1
lines changed

src/librustc_error_codes/error_codes.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -393,6 +393,7 @@ E0701: include_str!("./error_codes/E0701.md"),
393393
E0704: include_str!("./error_codes/E0704.md"),
394394
E0705: include_str!("./error_codes/E0705.md"),
395395
E0706: include_str!("./error_codes/E0706.md"),
396+
E0710: include_str!("./error_codes/E0710.md"),
396397
E0712: include_str!("./error_codes/E0712.md"),
397398
E0713: include_str!("./error_codes/E0713.md"),
398399
E0714: include_str!("./error_codes/E0714.md"),
@@ -604,7 +605,6 @@ E0748: include_str!("./error_codes/E0748.md"),
604605
E0708, // `async` non-`move` closures with parameters are not currently
605606
// supported
606607
// E0709, // multiple different lifetimes used in arguments of `async fn`
607-
E0710, // an unknown tool name found in scoped lint
608608
E0711, // a feature has been declared with conflicting stability attributes
609609
E0717, // rustc_promotable without stability attribute
610610
// E0721, // `await` keyword
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
An unknown tool name found in 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+
```

src/test/ui/tool_lints.stderr

+1
Original file line numberDiff line numberDiff line change
@@ -18,3 +18,4 @@ LL | #[warn(foo::bar)]
1818

1919
error: aborting due to 3 previous errors
2020

21+
For more information about this error, try `rustc --explain E0710`.

src/test/ui/unknown-lint-tool-name.stderr

+1
Original file line numberDiff line numberDiff line change
@@ -36,3 +36,4 @@ LL | #[allow(foo::bar)]
3636

3737
error: aborting due to 6 previous errors
3838

39+
For more information about this error, try `rustc --explain E0710`.

0 commit comments

Comments
 (0)