diff options
| author | bors <bors@rust-lang.org> | 2021-07-28 13:15:43 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2021-07-28 13:15:43 +0000 |
| commit | 92ca25b3ec8cef291f1d3b37bfd01d3cce8609e2 (patch) | |
| tree | e58ac96a0819f774260a28ea7c1dcdcca567bee2 /clippy_lints/src/missing_doc.rs | |
| parent | ac0fd99194141f189b3fc41ef2d8925e6fa359c2 (diff) | |
| parent | 464c85c8c1c71feda6e53eb9d8713bfdafaf7d8b (diff) | |
| download | rust-92ca25b3ec8cef291f1d3b37bfd01d3cce8609e2.tar.gz rust-92ca25b3ec8cef291f1d3b37bfd01d3cce8609e2.zip | |
Auto merge of #7502 - flip1995:rollup-y3ho3w0, r=flip1995
Rollup of 3 pull requests Successful merges: - #7279 (Adapting the lint list to Clippy's new metadata format) - #7298 (Switch CI to new metadata collection) - #7420 (Update lint documentation to use markdown headlines) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup changelog: rollup
Diffstat (limited to 'clippy_lints/src/missing_doc.rs')
| -rw-r--r-- | clippy_lints/src/missing_doc.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/clippy_lints/src/missing_doc.rs b/clippy_lints/src/missing_doc.rs index ec1572c26c2..aeed8268902 100644 --- a/clippy_lints/src/missing_doc.rs +++ b/clippy_lints/src/missing_doc.rs @@ -17,15 +17,15 @@ use rustc_span::source_map::Span; use rustc_span::sym; declare_clippy_lint! { - /// **What it does:** Warns if there is missing doc for any documentable item + /// ### What it does + /// Warns if there is missing doc for any documentable item /// (public or private). /// - /// **Why is this bad?** Doc is good. *rustc* has a `MISSING_DOCS` + /// ### Why is this bad? + /// Doc is good. *rustc* has a `MISSING_DOCS` /// allowed-by-default lint for /// public members, but has no way to enforce documentation of private items. /// This lint fixes that. - /// - /// **Known problems:** None. pub MISSING_DOCS_IN_PRIVATE_ITEMS, restriction, "detects missing documentation for public and private members" |