diff options
| author | Cameron Steffen <cam.steffen94@gmail.com> | 2021-05-02 17:53:01 -0500 |
|---|---|---|
| committer | Cameron Steffen <cam.steffen94@gmail.com> | 2021-05-03 09:07:27 -0500 |
| commit | ffb0951a4d80cda686349f8f735ac4ac8a0e0cb4 (patch) | |
| tree | d62fd18be0513014df479f76d422be2c73deb7f4 | |
| parent | 499813026f1e84456c9a108b249ed1005c624181 (diff) | |
| download | rust-ffb0951a4d80cda686349f8f735ac4ac8a0e0cb4.tar.gz rust-ffb0951a4d80cda686349f8f735ac4ac8a0e0cb4.zip | |
Update config contributing docs
| -rw-r--r-- | doc/adding_lints.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/adding_lints.md b/doc/adding_lints.md index d6cc6d0c2c7..5a06afedbf4 100644 --- a/doc/adding_lints.md +++ b/doc/adding_lints.md @@ -454,7 +454,7 @@ in `clippy_lints/src/utils/conf.rs`: ```rust define_Conf! { /// Lint: LIST, OF, LINTS, <THE_NEWLY_ADDED_LINT>. The minimum rust version that the project supports - (msrv, "msrv": Option<String>, None), + (msrv: Option<String> = None), ... } ``` @@ -562,7 +562,7 @@ in the following steps: like this: ```rust /// Lint: LINT_NAME. <The configuration field doc comment> - (configuration_ident, "configuration_value": Type, DefaultValue), + (configuration_ident: Type = DefaultValue), ``` The configuration value and identifier should usually be the same. The doc comment will be automatically added to the lint documentation. |