Update tools_lints
This commit is contained in:
parent
cd9921ed82
commit
10226daa4e
2 changed files with 3 additions and 2 deletions
|
|
@ -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
|
||||
*/
|
||||
}
|
||||
```
|
||||
```
|
||||
|
|
|
|||
|
|
@ -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`.
|
||||
Loading…
Add table
Add a link
Reference in a new issue