diff options
-rw-r--r-- | docs/dev/style.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/dev/style.md b/docs/dev/style.md index 46bd8b9b2..c4eb7bc7a 100644 --- a/docs/dev/style.md +++ b/docs/dev/style.md | |||
@@ -91,8 +91,8 @@ But many users read changelogs. | |||
91 | We don't enforce Clippy. | 91 | We don't enforce Clippy. |
92 | A number of default lints have high false positive rate. | 92 | A number of default lints have high false positive rate. |
93 | Selectively patching false-positives with `allow(clippy)` is considered worse than not using Clippy at all. | 93 | Selectively patching false-positives with `allow(clippy)` is considered worse than not using Clippy at all. |
94 | There's `cargo xtask lint` command which runs a subset of low-FPR lints. | 94 | There's a `cargo lint` command which runs a subset of low-FPR lints. |
95 | Careful tweaking of `xtask lint` is welcome. | 95 | Careful tweaking of `lint` is welcome. |
96 | Of course, applying Clippy suggestions is welcome as long as they indeed improve the code. | 96 | Of course, applying Clippy suggestions is welcome as long as they indeed improve the code. |
97 | 97 | ||
98 | **Rationale:** see [rust-lang/clippy#5537](https://github.com/rust-lang/rust-clippy/issues/5537). | 98 | **Rationale:** see [rust-lang/clippy#5537](https://github.com/rust-lang/rust-clippy/issues/5537). |