Skip to content

Commit b31707e

Browse files
committed
Remove unknown lint from deny attribute
1 parent 1509160 commit b31707e

File tree

1 file changed

+0
-18
lines changed
  • src/librustc_error_codes/error_codes

1 file changed

+0
-18
lines changed

src/librustc_error_codes/error_codes/E0710.md

Lines changed: 0 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -16,15 +16,6 @@ fn main() {
1616
}
1717
```
1818

19-
```compile_fail,E0710
20-
fn main() {
21-
#![deny(clipp::filter_map)] //error!
22-
fn filter() {
23-
//logic
24-
}
25-
}
26-
```
27-
2819
Please verify you didn't misspell the tool's name or that you didn't
2920
forget to import it in you project:
3021

@@ -41,12 +32,3 @@ fn main() {
4132
// business logic
4233
}
4334
```
44-
45-
```
46-
fn main() {
47-
#![deny(clippy::filter_map)] // ok!
48-
fn filter() {
49-
//logic
50-
}
51-
}
52-
```

0 commit comments

Comments
 (0)