diff options
| author | lucarlig <luca.carlig@huawei.com> | 2024-02-26 19:15:44 +0400 |
|---|---|---|
| committer | lucarlig <luca.carlig@huawei.com> | 2024-02-26 19:15:44 +0400 |
| commit | fca77c0976f387bb383d572ab82aa53b0c64ee6c (patch) | |
| tree | 6f342552354bb8c08154cc4b8c6b38ca15dc2630 | |
| parent | 93deced5531562a43048f59f853307749574a631 (diff) | |
docs and imports
| -rw-r--r-- | clippy_lints/src/doc/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clippy_lints/src/doc/mod.rs b/clippy_lints/src/doc/mod.rs index 639179a070d..9af34c3a7bf 100644 --- a/clippy_lints/src/doc/mod.rs +++ b/clippy_lints/src/doc/mod.rs @@ -17,7 +17,7 @@ use rustc_hir::{AnonConst, Expr}; use rustc_lint::{LateContext, LateLintPass}; use rustc_middle::hir::nested_filter; use rustc_middle::lint::in_external_macro; -use rustc_middle::ty::{self}; +use rustc_middle::ty; use rustc_resolve::rustdoc::{ add_doc_fragment, attrs_to_doc_fragments, main_body_opts, source_span_for_markdown_range, span_of_fragments, DocFragment, @@ -343,7 +343,7 @@ declare_clippy_lint! { /// ### What it does /// Detects documentation that is empty. /// ### Why is this bad? - /// It is unlikely that there is any reason to have empty documentation for an item + /// Empty docs clutter code without adding value, reducing readability and maintainability. /// ### Example /// ```no_run /// /// |
