docs: also check the inline stmt during redundant link check

This commit is contained in:
bohan 2024-02-07 15:43:19 +08:00
parent d4f6f9ee6a
commit 0a50dba50b
6 changed files with 111 additions and 18 deletions

View File

@ -82,7 +82,7 @@ pub(crate) fn clean_doc_module<'tcx>(doc: &DocModule<'tcx>, cx: &mut DocContext<
// but there's already an item with the same namespace and same name. Rust gives // but there's already an item with the same namespace and same name. Rust gives
// priority to the not-imported one, so we should, too. // priority to the not-imported one, so we should, too.
items.extend(doc.items.values().flat_map(|(item, renamed, import_id)| { items.extend(doc.items.values().flat_map(|(item, renamed, import_id)| {
// First, lower everything other than imports. // First, lower everything other than glob imports.
if matches!(item.kind, hir::ItemKind::Use(_, hir::UseKind::Glob)) { if matches!(item.kind, hir::ItemKind::Use(_, hir::UseKind::Glob)) {
return Vec::new(); return Vec::new();
} }

View File

@ -7,6 +7,7 @@
use rustc_hir::HirId; use rustc_hir::HirId;
use rustc_lint_defs::Applicability; use rustc_lint_defs::Applicability;
use rustc_resolve::rustdoc::source_span_for_markdown_range; use rustc_resolve::rustdoc::source_span_for_markdown_range;
use rustc_span::def_id::DefId;
use rustc_span::Symbol; use rustc_span::Symbol;
use crate::clean::utils::find_nearest_parent_module; use crate::clean::utils::find_nearest_parent_module;
@ -33,17 +34,22 @@ pub(crate) fn visit_item(cx: &DocContext<'_>, item: &Item) {
return; return;
} }
if item.link_names(&cx.cache).is_empty() { if let Some(item_id) = item.def_id() {
// If there's no link names in this item, check_redundant_explicit_link_for_did(cx, item, item_id, hir_id, &doc);
// then we skip resolution querying to
// avoid from panicking.
return;
} }
if let Some(item_id) = item.inline_stmt_id {
check_redundant_explicit_link_for_did(cx, item, item_id, hir_id, &doc);
}
}
let Some(item_id) = item.def_id() else { fn check_redundant_explicit_link_for_did<'md>(
return; cx: &DocContext<'_>,
}; item: &Item,
let Some(local_item_id) = item_id.as_local() else { did: DefId,
hir_id: HirId,
doc: &'md str,
) {
let Some(local_item_id) = did.as_local() else {
return; return;
}; };
@ -53,12 +59,26 @@ pub(crate) fn visit_item(cx: &DocContext<'_>, item: &Item) {
return; return;
} }
let is_private = !cx.render_options.document_private let is_private = !cx.render_options.document_private
&& !cx.cache.effective_visibilities.is_directly_public(cx.tcx, item_id); && !cx.cache.effective_visibilities.is_directly_public(cx.tcx, did);
if is_private { if is_private {
return; return;
} }
check_redundant_explicit_link(cx, item, hir_id, &doc); let module_id = match cx.tcx.def_kind(did) {
DefKind::Mod if item.inner_docs(cx.tcx) => did,
_ => find_nearest_parent_module(cx.tcx, did).unwrap(),
};
let Some(resolutions) =
cx.tcx.resolutions(()).doc_link_resolutions.get(&module_id.expect_local())
else {
// If there's no resolutions in this module,
// then we skip resolution querying to
// avoid from panicking.
return;
};
check_redundant_explicit_link(cx, item, hir_id, &doc, &resolutions);
} }
fn check_redundant_explicit_link<'md>( fn check_redundant_explicit_link<'md>(
@ -66,6 +86,7 @@ fn check_redundant_explicit_link<'md>(
item: &Item, item: &Item,
hir_id: HirId, hir_id: HirId,
doc: &'md str, doc: &'md str,
resolutions: &DocLinkResMap,
) -> Option<()> { ) -> Option<()> {
let mut broken_line_callback = |link: BrokenLink<'md>| Some((link.reference, "".into())); let mut broken_line_callback = |link: BrokenLink<'md>| Some((link.reference, "".into()));
let mut offset_iter = Parser::new_with_broken_link_callback( let mut offset_iter = Parser::new_with_broken_link_callback(
@ -74,12 +95,6 @@ fn check_redundant_explicit_link<'md>(
Some(&mut broken_line_callback), Some(&mut broken_line_callback),
) )
.into_offset_iter(); .into_offset_iter();
let item_id = item.def_id()?;
let module_id = match cx.tcx.def_kind(item_id) {
DefKind::Mod if item.inner_docs(cx.tcx) => item_id,
_ => find_nearest_parent_module(cx.tcx, item_id).unwrap(),
};
let resolutions = cx.tcx.doc_link_resolutions(module_id);
while let Some((event, link_range)) = offset_iter.next() { while let Some((event, link_range)) = offset_iter.next() {
match event { match event {

View File

@ -0,0 +1,17 @@
// compile-flags: --document-private-items
#![deny(rustdoc::redundant_explicit_links)]
mod webdavfs {
pub struct A;
pub struct B;
}
/// [`Vfs`][crate::Vfs]
pub use webdavfs::A;
//~^^ error: redundant explicit link target
/// [`Vfs`]
pub use webdavfs::B;
pub struct Vfs;

View File

@ -0,0 +1,22 @@
error: redundant explicit link target
--> $DIR/issue-120444-1.rs:10:13
|
LL | /// [`Vfs`][crate::Vfs]
| ----- ^^^^^^^^^^ explicit target is redundant
| |
| because label contains path that resolves to same destination
|
= note: when a link's destination is not specified,
the label is used to resolve intra-doc links
note: the lint level is defined here
--> $DIR/issue-120444-1.rs:3:9
|
LL | #![deny(rustdoc::redundant_explicit_links)]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
help: remove explicit link target
|
LL | /// [`Vfs`]
| ~~~~~~~
error: aborting due to 1 previous error

View File

@ -0,0 +1,17 @@
// compile-flags: --document-private-items
#![deny(rustdoc::redundant_explicit_links)]
pub mod webdavfs {
pub struct A;
pub struct B;
}
/// [`Vfs`][crate::Vfs]
pub use webdavfs::A;
//~^^ error: redundant explicit link target
/// [`Vfs`]
pub use webdavfs::B;
pub struct Vfs;

View File

@ -0,0 +1,22 @@
error: redundant explicit link target
--> $DIR/issue-120444-2.rs:10:13
|
LL | /// [`Vfs`][crate::Vfs]
| ----- ^^^^^^^^^^ explicit target is redundant
| |
| because label contains path that resolves to same destination
|
= note: when a link's destination is not specified,
the label is used to resolve intra-doc links
note: the lint level is defined here
--> $DIR/issue-120444-2.rs:3:9
|
LL | #![deny(rustdoc::redundant_explicit_links)]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
help: remove explicit link target
|
LL | /// [`Vfs`]
| ~~~~~~~
error: aborting due to 1 previous error