mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-23 07:14:28 +00:00
4be9cfabf2
rustdoc-search: add impl disambiguator to duplicate assoc items Preview (to see the difference, click the link and pay attention to the specific function that comes up): | Before | After | |--|--| | [`simd<i64>, simd<i64> -> simd<i64>`](https://doc.rust-lang.org/nightly/std/?search=simd%3Ci64%3E%2C%20simd%3Ci64%3E%20-%3E%20simd%3Ci64%3E) | [`simd<i64>, simd<i64> -> simd<i64>`](https://notriddle.com/rustdoc-demo-html-3/impl-disambiguate-search/std/index.html?search=simd%3Ci64%3E%2C%20simd%3Ci64%3E%20-%3E%20simd%3Ci64%3E) | | [`cow, vec -> bool`](https://doc.rust-lang.org/nightly/std/?search=cow%2C%20vec%20-%3E%20bool) | [`cow, vec -> bool`](https://notriddle.com/rustdoc-demo-html-3/impl-disambiguate-search/std/index.html?search=cow%2C%20vec%20-%3E%20bool) Helps with #90929 This changes the search results, specifically, when there's more than one impl with an associated item with the same name. For example, the search queries `simd<i8> -> simd<i8>` and `simd<i64> -> simd<i64>` don't link to the same function, but most of the functions have the same names. This change should probably be FCP-ed, especially since it adds a new anchor link format for `main.js` to handle, so that URLs like `struct.Vec.html#impl-AsMut<[T]>-for-Vec<T,+A>/method.as_mut` redirect to `struct.Vec.html#method.as_mut-2`. It's a strange design, but there are a few reasons for it: * I'd like to avoid making the HTML bigger. Obviously, fixing this bug is going to add at least a little more data to the search index, but adding more HTML penalises viewers for the benefit of searchers. * Breaking `struct.Vec.html#method.len` would also be a disappointment. On the other hand: * The path-style anchors might be less prone to link rot than the numbered anchors. It's definitely less likely to have URLs that appear to "work", but silently point at the wrong thing. * This commit arranges the path-style anchor to redirect to the numbered anchor. Nothing stops rustdoc from doing the opposite, making path-style anchors the default and redirecting the "legacy" numbered ones. ### The bug On the "Before" links, this example search calls for `i64`:  But if I click any of the results, I get `f64` instead.  The PR fixes this problem by adding enough information to the search result `href` to disambiguate methods with different types but the same name. More detailed description of the problem at: https://github.com/rust-lang/rust/pull/109422#issuecomment-1491089293 > When a struct/enum/union has multiple impls with different type parameters, it can have multiple methods that have the same name, but which are on different impls. Besides Simd, [Any](https://doc.rust-lang.org/nightly/std/any/trait.Any.html?search=any%3A%3Adowncast) also demonstrates this pattern. It has three methods named `downcast`, on three different impls. > > When that happens, it presents a challenge in linking to the method. Normally we link like `#method.foo`. When there are multiple `foo`, we number them like `#method.foo`, `#method.foo-1`, `#method.foo-2`, etc. > > It also presents a challenge for our search code. Currently we store all the variants in the index, but don’t have any way to generate unambiguous URLs in the results page, or to distinguish them in the SERP. > > To fix this, we need three things: > > 1. A fragment format that fully specifies the impl type parameters when needed to disambiguate (`#impl-SimdOrd-for-Simd<i64,+LANES>/method.simd_max`) > 2. A search index that stores methods with enough information to disambiguate the impl they were on. > 3. A search results interface that can display multiple methods on the same type with the same name, when appropriate OR a disambiguation landing section on item pages? > > For reviewers: it can be hard to see the new fragment format in action since it immediately gets rewritten to the numbered form. |
||
|---|---|---|
| .. | ||
| basic.js | ||
| basic.rs | ||
| doc-alias-filter-out.js | ||
| doc-alias-filter-out.rs | ||
| doc-alias-filter.js | ||
| doc-alias-filter.rs | ||
| doc-alias-whitespace.js | ||
| doc-alias-whitespace.rs | ||
| doc-alias.js | ||
| doc-alias.rs | ||
| exact-match.js | ||
| exact-match.rs | ||
| foreign-type-path.js | ||
| foreign-type-path.rs | ||
| full-path-function.js | ||
| full-path-function.rs | ||
| generics-impl.js | ||
| generics-impl.rs | ||
| generics-match-ambiguity.js | ||
| generics-match-ambiguity.rs | ||
| generics-multi-trait.js | ||
| generics-multi-trait.rs | ||
| generics-nested.js | ||
| generics-nested.rs | ||
| generics-trait.js | ||
| generics-trait.rs | ||
| generics-unbox.js | ||
| generics-unbox.rs | ||
| generics.js | ||
| generics.rs | ||
| impl-trait.js | ||
| impl-trait.rs | ||
| macro-search.js | ||
| macro-search.rs | ||
| module-substring.js | ||
| module-substring.rs | ||
| nested-unboxed.js | ||
| nested-unboxed.rs | ||
| never-search.js | ||
| never-search.rs | ||
| path-ordering.js | ||
| path-ordering.rs | ||
| primitive.js | ||
| primitive.rs | ||
| prototype.js | ||
| prototype.rs | ||
| raw-pointer.js | ||
| raw-pointer.rs | ||
| reexport.js | ||
| reexport.rs | ||
| search-bag-semantics.js | ||
| search-bag-semantics.rs | ||
| search-method-disambiguate.js | ||
| search-method-disambiguate.rs | ||
| search-short-types.js | ||
| search-short-types.rs | ||
| slice-array.js | ||
| slice-array.rs | ||
| struct-like-variant.js | ||
| struct-like-variant.rs | ||
| substring.js | ||
| substring.rs | ||
| summaries.js | ||
| summaries.rs | ||
| type-parameters.js | ||
| type-parameters.rs | ||
| where-clause.js | ||
| where-clause.rs | ||