diff options
| author | flip1995 <hello@philkrones.com> | 2018-10-02 11:19:38 +0200 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2018-10-09 16:38:38 -0700 |
| commit | 6328850e6d6717f2d137274598b7c92602a01edb (patch) | |
| tree | 1b9e0fa63128dc80a57d4870b66aa4cb2cba8f50 | |
| parent | ac231d40a33f9b4ef0fb50b22a0a4686dc42ecfc (diff) | |
| download | rust-6328850e6d6717f2d137274598b7c92602a01edb.tar.gz rust-6328850e6d6717f2d137274598b7c92602a01edb.zip | |
Remove unstable-book documentation
| -rw-r--r-- | src/doc/unstable-book/src/language-features/tool-lints.md | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/src/doc/unstable-book/src/language-features/tool-lints.md b/src/doc/unstable-book/src/language-features/tool-lints.md deleted file mode 100644 index 5c0d33b5ab0..00000000000 --- a/src/doc/unstable-book/src/language-features/tool-lints.md +++ /dev/null @@ -1,35 +0,0 @@ -# `tool_lints` - -The tracking issue for this feature is: [#44690] - -[#44690]: https://github.com/rust-lang/rust/issues/44690 - ------------------------- - -Tool lints let you use scoped lints, to `allow`, `warn`, `deny` or `forbid` lints of -certain tools. - -Currently `clippy` is the only available lint tool. - -It is recommended for lint tools to implement the scoped lints like this: - -- `#[_(TOOL_NAME::lintname)]`: for lint names -- `#[_(TOOL_NAME::lintgroup)]`: for groups of lints -- `#[_(TOOL_NAME::all)]`: for (almost[^1]) all lints - -## An example - -```rust -#![feature(tool_lints)] - -#![warn(clippy::pedantic)] - -#[allow(clippy::filter_map)] -fn main() { - let v = vec![0; 10]; - let _ = v.into_iter().filter(|&x| x < 1).map(|x| x + 1).collect::<Vec<_>>(); - println!("No filter_map()!"); -} -``` - -[^1]: Some defined lint groups can be excluded here. |