get rid of some false negatives in rustdoc::broken_intra_doc_links #132748

lolbinarycat · 2024-11-07T21:40:42Z

rustdoc will not try to do intra-doc linking if the "path" of a link looks too much like a "real url".

however, only inline links (text) can actually contain a url, other types of links (reference links, shortcut links) contain a reference which is later resolved to an actual url.

the "path" in this case cannot be a url, and therefore it should not be skipped due to looking like a url.

fixes #54191

rustbot · 2024-11-07T21:40:50Z

r? @notriddle

rustbot has assigned @notriddle.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

notriddle

This looks like a good idea, but I have found one problem. Consider a sample like this:

//@ check-pass
#![no_std]
#![deny(rustdoc::broken_intra_doc_links)]

// regression test for https://github.com/rust-lang/rust/issues/54191
// false positives

//! This is not an intra-doc link: [`foobar`]
//!
//! [`foobar`]: /index.html

That test case fails, because it thinks /index.html is an intra-doc link. You're right that certain kinds of links aren't allowed to be URLs—that's the Unknown type links.

src/librustdoc/passes/collect_intra_doc_links.rs

tests/rustdoc-ui/bad-intra-doc.rs

lolbinarycat · 2024-11-08T00:42:34Z

welp, turns out the standard library itself contains several of these false negatives!

lolbinarycat · 2024-11-08T00:50:35Z

...or perhaps there's some deeper bug with intra-doc link generation?

there seems to be some false positives containing spaces, even though there is a matching reference definition...

I guess we can just re-enable unconditionally ignoring links with spaces?

lolbinarycat · 2024-11-08T03:03:17Z

Ok, this breaks a lot of ui tests. This might actually have a pretty big impact, maybe we should do a crater run or something..?

notriddle · 2024-11-08T17:14:36Z

It's looks fine to me. Here's the PRs where each of these test cases were added:

test case	PR
disambiguator-endswith-named-suffix.rs	#127016
weird-syntax.rs	#112014
redundant_explicit_links-utf8.rs	#115070

The last two are both contrived ICE tests, and all of them are intended to be parsed as intra-doc links. Making it so that they warn seems fine to me.

r? @GuillaumeGomez do you also think this is a suitable bug fix?

GuillaumeGomez · 2024-11-08T19:09:18Z

I think so. I'm not completely satisfied with the current impact though. Intra-doc links should not be triggered on items that contain characters which can't be in an ident or a path, like Clone. Maybe a different warning in these cases?

lolbinarycat · 2024-11-08T19:19:45Z

@GuillaumeGomez what about just amending the current warning to account for other common mistakes?

honestly makes me wish we had --explain for lints, putting a full help message for each one could get a bit verbose.

regardless, i think that should be a separate issue, since the lint output isn't the most helpful in general (it just recommends escaping the brackets, and doesn't mention other common issues, such as misspelled link references)

GuillaumeGomez · 2024-11-08T19:29:57Z

what about just amending the current warning to account for other common mistakes?

Do you have an example of before/after of what you have in mind by any chance?

lolbinarycat · 2024-11-08T19:49:58Z

Do you have an example of before/after of what you have in mind by any chance?

well, the most obvious one is some sort of "consider adding a reference: [whatever]: //some-url.example/", but i also think trying to catch typos by comparing the edit distance of the missing reference to that of existing references could be handy.

and perhaps we should also mention surrounding code by backticks, since code snippets should generally be in code blocks instead of individually escaping chars.

GuillaumeGomez · 2024-11-08T19:52:45Z

well, the most obvious one is some sort of "consider adding a reference: [whatever]: //some-url.example/", but i also think trying to catch typos by comparing the edit distance of the missing reference to that of existing references could be handy.

Sounds good to me. The distance between two items could be nice too (as a follow-up?).

lolbinarycat · 2025-04-18T20:31:36Z

I know @notriddle wanted to actually make the lints more generous in some cases, but the way this is currently implemented is that links that look like urls get completely ignored by the entire intra-doc link system, not just ignored by the lint.

so, the best I can do without significant overhauls is to revert to the previous buggy behavior if there are no backticks.

this is in an effort to reduce the amount of code churn caused by this lint triggering on text that was never meant to be a link. a more principled hierustic for ignoring lints is not possible without extensive changes, due to the lint emitting code being so far away from the link collecting code, and the fact that only the link collecting code has access to details about how the link appears in the unnormalized markdown.

collapsed links and reference links have a pretty particular syntax, it seems unlikely they would show up on accident.

rustbot · 2025-04-19T03:24:38Z

Some changes occurred in tests/rustdoc-json

cc @aDotInTheVoid

…aumeGomez jsondocck: Require command is at start of line In one place we use `///`@`` instead of `//`@`.` The test-runner allowed it, but it probably shouldn't. Ran into by `@lolbinarycat` in rust-lang#132748 (comment): ``` error: unknown disambiguator `?(` ##[error] --> /checkout/tests/rustdoc-json/fns/return_type_alias.rs:3:25 | 3 | ///@ set foo = "$.index[?(`@.name=='Foo')].id"` | ^^ | ``` Maybe it's also worth erroring on this like we added in rust-lang#137103 r? `@GuillaumeGomez`

…aumeGomez jsondocck: Require command is at start of line In one place we use `///``@``` instead of `//``@`.`` The test-runner allowed it, but it probably shouldn't. Ran into by ``@lolbinarycat`` in rust-lang#132748 (comment): ``` error: unknown disambiguator `?(` ##[error] --> /checkout/tests/rustdoc-json/fns/return_type_alias.rs:3:25 | 3 | ///@ set foo = "$.index[?(``@.name=='Foo')].id"`` | ^^ | ``` Maybe it's also worth erroring on this like we added in rust-lang#137103 r? ``@GuillaumeGomez``

Rollup merge of rust-lang#140076 - aDotInTheVoid:jsondocline, r=GuillaumeGomez jsondocck: Require command is at start of line In one place we use `///``@``` instead of `//``@`.`` The test-runner allowed it, but it probably shouldn't. Ran into by ``@lolbinarycat`` in rust-lang#132748 (comment): ``` error: unknown disambiguator `?(` ##[error] --> /checkout/tests/rustdoc-json/fns/return_type_alias.rs:3:25 | 3 | ///@ set foo = "$.index[?(``@.name=='Foo')].id"`` | ^^ | ``` Maybe it's also worth erroring on this like we added in rust-lang#137103 r? ``@GuillaumeGomez``

jsondocck: Require command is at start of line In one place we use `///``@``` instead of `//``@`.`` The test-runner allowed it, but it probably shouldn't. Ran into by ``@lolbinarycat`` in rust-lang/rust#132748 (comment): ``` error: unknown disambiguator `?(` ##[error] --> /checkout/tests/rustdoc-json/fns/return_type_alias.rs:3:25 | 3 | ///@ set foo = "$.index[?(``@.name=='Foo')].id"`` | ^^ | ``` Maybe it's also worth erroring on this like we added in #137103 r? ``@GuillaumeGomez``

lolbinarycat · 2025-05-22T21:50:04Z

I'm quite happy with the current state of this, and think that the vast majority of new warnings created by it will be genuine mistakes. Just waiting on code review now.

notriddle · 2025-05-22T23:10:55Z

src/librustdoc/passes/collect_intra_doc_links.rs

+    // |-------------------------------------------------------|
+    // |              |  is shortcut link  | not shortcut link |
+    // |--------------|--------------------|-------------------|
+    // | has backtick |    never ignore    |    never ignore   |
+    // | no backtick  | ignore if url-like |    never ignore   |
+    // |-------------------------------------------------------|
+    let ignore_urllike =
+        can_be_url || (ori_link.kind == LinkType::ShortcutUnknown && !ori_link.link.contains('`'));
+    if ignore_urllike && should_ignore_link(path_str) {


It looks like the complete truth table is:

unknown shortcut link unknown reference / collapsed link other link

has backtick never ignore never ignore ignore if url-like

no backtick ignore if url-like never ignore ignore if url-like

Assuming I'm understanding the logic correctly (the difference is to things like [first](second)).

That is correct. Technically I do explicitly define the scope of the existing table with the line "here's a truth table for how link kinds that cannot be urls are handled:"

the line is currently 66 chars long, i should be able to fit in the other case without upsetting tidy (100 char limit), do you want me to?

rustbot assigned notriddle Nov 7, 2024

rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. labels Nov 7, 2024

lolbinarycat force-pushed the rustdoc-intra-doc-link-warn-more-54191 branch from df3d0f6 to 8ae6586 Compare November 7, 2024 21:41

This comment has been minimized.

Sign in to view

notriddle requested changes Nov 7, 2024

View reviewed changes

src/librustdoc/passes/collect_intra_doc_links.rs Outdated Show resolved Hide resolved

tests/rustdoc-ui/bad-intra-doc.rs Outdated Show resolved Hide resolved

rustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Nov 7, 2024

This comment has been minimized.

Sign in to view

notriddle reviewed Nov 7, 2024

View reviewed changes

tests/rustdoc-ui/bad-intra-doc.rs Outdated Show resolved Hide resolved

This comment has been minimized.

Sign in to view

lolbinarycat added S-waiting-on-team Status: Awaiting decision from the relevant subteam (see the T-<team> label). and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Nov 8, 2024

rustbot assigned GuillaumeGomez and unassigned notriddle Nov 8, 2024

notriddle self-assigned this Nov 8, 2024

lolbinarycat mentioned this pull request Nov 8, 2024

improved help message for rustdoc::broken_intra_doc_links #132788

Open

3 tasks

lolbinarycat added 5 commits April 18, 2025 14:47

fix formatting

a20414f

add more error annotations

ddd7540

go back to ignoring "intra-doc links" with spaces in them

f330a98

fix braketing error

e20ff19

adjust more unit tests to reflect more aggressive intra-doc linting

6747e21

lolbinarycat force-pushed the rustdoc-intra-doc-link-warn-more-54191 branch from a918960 to 6747e21 Compare April 18, 2025 19:55

This comment has been minimized.

Sign in to view

rustdoc: update tests to match new lint behavior

5485535

This comment has been minimized.

Sign in to view

rustdoc::broken_intra_doc_links: only be lenient with shortcut links

b3fda87

collapsed links and reference links have a pretty particular syntax, it seems unlikely they would show up on accident.

This comment has been minimized.

Sign in to view

tests/rustdoc-json: directives should not use doc comments

f5df571

rustbot added the A-rustdoc-json Area: Rustdoc JSON backend label Apr 19, 2025

move bad-intra-doc test into intra-doc dir

32a73bf

lolbinarycat force-pushed the rustdoc-intra-doc-link-warn-more-54191 branch from 513d9b7 to 32a73bf Compare April 19, 2025 15:56

aDotInTheVoid mentioned this pull request Apr 20, 2025

jsondocck: Require command is at start of line #140076

Merged

lolbinarycat added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-team Status: Awaiting decision from the relevant subteam (see the T-<team> label). labels May 22, 2025

notriddle reviewed May 22, 2025

View reviewed changes

lolbinarycat mentioned this pull request May 23, 2025

rustdoc does not detect broken markdown due to missing links (except for links without a space) #141227

Open

	unknown shortcut link	unknown reference / collapsed link	other link
has backtick	never ignore	never ignore	ignore if url-like
no backtick	ignore if url-like	never ignore	ignore if url-like

get rid of some false negatives in rustdoc::broken_intra_doc_links #132748

Are you sure you want to change the base?

get rid of some false negatives in rustdoc::broken_intra_doc_links #132748

Conversation

lolbinarycat commented Nov 7, 2024 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

rustbot commented Nov 7, 2024

Uh oh!

This comment has been minimized.

notriddle left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

This comment has been minimized.

Uh oh!

This comment has been minimized.

This comment has been minimized.

lolbinarycat commented Nov 8, 2024

Uh oh!

lolbinarycat commented Nov 8, 2024

Uh oh!

This comment has been minimized.

This comment has been minimized.

lolbinarycat commented Nov 8, 2024

Uh oh!

notriddle commented Nov 8, 2024

Uh oh!

GuillaumeGomez commented Nov 8, 2024

Uh oh!

lolbinarycat commented Nov 8, 2024

Uh oh!

GuillaumeGomez commented Nov 8, 2024

Uh oh!

lolbinarycat commented Nov 8, 2024

Uh oh!

GuillaumeGomez commented Nov 8, 2024

Uh oh!

lolbinarycat commented Apr 18, 2025

Uh oh!

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

rustbot commented Apr 19, 2025

Uh oh!

lolbinarycat commented May 22, 2025

Uh oh!

notriddle May 22, 2025

Choose a reason for hiding this comment

Uh oh!

lolbinarycat May 22, 2025

Choose a reason for hiding this comment

Uh oh!

Uh oh!

lolbinarycat commented Nov 7, 2024 •

edited

Loading