Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'docs/dev/style.md')
-rw-r--r--docs/dev/style.md9
1 files changed, 1 insertions, 8 deletions
diff --git a/docs/dev/style.md b/docs/dev/style.md
index 786127639c..4c5299bde3 100644
--- a/docs/dev/style.md
+++ b/docs/dev/style.md
@@ -99,14 +99,7 @@ Including a description and GIF suitable for the changelog means less work for t
## Clippy
-We don't enforce Clippy.
-A number of default lints have high false positive rate.
-Selectively patching false-positives with `allow(clippy)` is probably worse than entirely disabling a problematic lint.
-There's a `cargo lint` command which runs a subset of low-FPR lints.
-Careful tweaking of `lint` is welcome.
-Of course, applying Clippy suggestions is welcome as long as they indeed improve the code.
-
-**Rationale:** see [rust-lang/clippy#5537](https://github.com/rust-lang/rust-clippy/issues/5537).
+We use Clippy to improve the code, but if some lints annoy you, allow them in the [Cargo.toml](../../Cargo.toml) [workspace.lints.clippy] section.
# Code