diff options
| author | Laurențiu Nicola <lnicola@users.noreply.github.com> | 2025-07-21 06:58:10 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-21 06:58:10 +0000 |
| commit | 8f67bcf4b0524b2efcbeeae50d393b1b51474237 (patch) | |
| tree | 17b8a9144bf203d4f3184df4d3e471743bbffe07 /src/librustdoc/html/render/write_shared.rs | |
| parent | 4bbe74bb6cabb1f30775081254614ccda6985d8a (diff) | |
| parent | da90db796d0cf39658eac0074c63e5e9ffec2ff2 (diff) | |
| download | rust-8f67bcf4b0524b2efcbeeae50d393b1b51474237.tar.gz rust-8f67bcf4b0524b2efcbeeae50d393b1b51474237.zip | |
Merge pull request #20268 from lnicola/sync-from-rust
minor: Sync from downstream
Diffstat (limited to 'src/librustdoc/html/render/write_shared.rs')
| -rw-r--r-- | src/librustdoc/html/render/write_shared.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustdoc/html/render/write_shared.rs b/src/librustdoc/html/render/write_shared.rs index 0078671fcc5..1f691392b17 100644 --- a/src/librustdoc/html/render/write_shared.rs +++ b/src/librustdoc/html/render/write_shared.rs @@ -26,6 +26,7 @@ use std::{fmt, fs}; use indexmap::IndexMap; use regex::Regex; +use rustc_ast::join_path_syms; use rustc_data_structures::flock; use rustc_data_structures::fx::{FxHashSet, FxIndexMap, FxIndexSet}; use rustc_middle::ty::TyCtxt; @@ -43,7 +44,6 @@ use crate::docfs::PathError; use crate::error::Error; use crate::formats::Impl; use crate::formats::item_type::ItemType; -use crate::html::format::join_with_double_colon; use crate::html::layout; use crate::html::render::ordered_json::{EscapedJson, OrderedJson}; use crate::html::render::search_index::{SerializedSearchIndex, build_index}; @@ -608,7 +608,7 @@ impl TypeAliasPart { for &(type_alias_fqp, type_alias_item) in type_aliases { cx.id_map.borrow_mut().clear(); cx.deref_id_map.borrow_mut().clear(); - let type_alias_fqp = join_with_double_colon(&type_alias_fqp); + let type_alias_fqp = join_path_syms(type_alias_fqp); if let Some(ret) = &mut ret { ret.aliases.push(type_alias_fqp); } else { |
