diff options
| author | Philipp Krones <hello@philkrones.com> | 2024-05-30 09:44:14 +0200 |
|---|---|---|
| committer | Philipp Krones <hello@philkrones.com> | 2024-05-30 09:44:14 +0200 |
| commit | 89037ea18f101e2e586feb81d2595a47ae42da46 (patch) | |
| tree | e5934c662d0ace18bdc16cccb6c2342f69f3e5d7 /book/src/development/adding_lints.md | |
| parent | bda742762157d33dc2b2b52c451bcbf4d5237f08 (diff) | |
| parent | da4b2127c0a144699b946eec3c8c9d4fd7050c17 (diff) | |
| download | rust-89037ea18f101e2e586feb81d2595a47ae42da46.tar.gz rust-89037ea18f101e2e586feb81d2595a47ae42da46.zip | |
Merge remote-tracking branch 'upstream/master' into rustup
Diffstat (limited to 'book/src/development/adding_lints.md')
| -rw-r--r-- | book/src/development/adding_lints.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/book/src/development/adding_lints.md b/book/src/development/adding_lints.md index 415022612ca..48c00bcbf34 100644 --- a/book/src/development/adding_lints.md +++ b/book/src/development/adding_lints.md @@ -587,6 +587,11 @@ declare_clippy_lint! { } ``` +If the lint is in the `restriction` group because it lints things that are not +necessarily “bad” but are more of a style choice, then replace the +“Why is this bad?” section heading with “Why restrict this?”, to avoid writing +“Why is this bad? It isn't, but ...”. + Once your lint is merged, this documentation will show up in the [lint list][lint_list]. |