diff options
| author | Noah Lev <camelidcamel@gmail.com> | 2021-11-11 15:45:45 -0800 |
|---|---|---|
| committer | Noah Lev <camelidcamel@gmail.com> | 2021-11-24 12:06:47 -0800 |
| commit | 43651125eea6284554e101aaf77af6e296f0b666 (patch) | |
| tree | 1d4aed9fb0becef639c9686b3984c84abb8d4b2a | |
| parent | db4a06e9bdbfc808e60b06b357c35481a91fc8e6 (diff) | |
| download | rust-43651125eea6284554e101aaf77af6e296f0b666.tar.gz rust-43651125eea6284554e101aaf77af6e296f0b666.zip | |
Remove `ResolvedPath.did`
| -rw-r--r-- | src/librustdoc/clean/mod.rs | 4 | ||||
| -rw-r--r-- | src/librustdoc/clean/types.rs | 4 | ||||
| -rw-r--r-- | src/librustdoc/clean/utils.rs | 7 | ||||
| -rw-r--r-- | src/librustdoc/formats/cache.rs | 10 | ||||
| -rw-r--r-- | src/librustdoc/html/format.rs | 3 | ||||
| -rw-r--r-- | src/librustdoc/html/render/cache.rs | 2 | ||||
| -rw-r--r-- | src/librustdoc/html/render/mod.rs | 6 | ||||
| -rw-r--r-- | src/librustdoc/html/render/print_item.rs | 9 | ||||
| -rw-r--r-- | src/librustdoc/json/conversions.rs | 14 |
9 files changed, 29 insertions, 30 deletions
diff --git a/src/librustdoc/clean/mod.rs b/src/librustdoc/clean/mod.rs index de1293cd96d..5c893e44a9f 100644 --- a/src/librustdoc/clean/mod.rs +++ b/src/librustdoc/clean/mod.rs @@ -1411,12 +1411,12 @@ impl<'tcx> Clean<Type> for Ty<'tcx> { }; inline::record_extern_fqn(cx, did, kind); let path = external_path(cx, did, false, vec![], substs); - ResolvedPath { path, did } + ResolvedPath { path } } ty::Foreign(did) => { inline::record_extern_fqn(cx, did, ItemType::ForeignType); let path = external_path(cx, did, false, vec![], InternalSubsts::empty()); - ResolvedPath { path, did } + ResolvedPath { path } } ty::Dynamic(obj, ref reg) => { // HACK: pick the first `did` as the `did` of the trait object. Someone diff --git a/src/librustdoc/clean/types.rs b/src/librustdoc/clean/types.rs index ed773cf4ad2..9e088ac72ad 100644 --- a/src/librustdoc/clean/types.rs +++ b/src/librustdoc/clean/types.rs @@ -1419,7 +1419,7 @@ crate enum Type { /// A named type, which could be a trait. /// /// This is mostly Rustdoc's version of [`hir::Path`]. It has to be different because Rustdoc's [`PathSegment`] can contain cleaned generics. - ResolvedPath { path: Path, did: DefId }, + ResolvedPath { path: Path }, /// A `dyn Trait` object: `dyn for<'a> Trait<'a> + Send + 'static` DynTrait(Vec<PolyTrait>, Option<Lifetime>), /// A type parameter. @@ -1522,7 +1522,7 @@ impl Type { fn inner_def_id(&self, cache: Option<&Cache>) -> Option<DefId> { let t: PrimitiveType = match *self { - ResolvedPath { ref path, did: _ } => return Some(path.def_id()), + ResolvedPath { ref path } => return Some(path.def_id()), DynTrait(ref bounds, _) => return Some(bounds[0].trait_.def_id()), Primitive(p) => return cache.and_then(|c| c.primitive_locations.get(&p).cloned()), BorrowedRef { type_: box Generic(..), .. } => PrimitiveType::Reference, diff --git a/src/librustdoc/clean/utils.rs b/src/librustdoc/clean/utils.rs index 78643841a0b..2976dd8f65a 100644 --- a/src/librustdoc/clean/utils.rs +++ b/src/librustdoc/clean/utils.rs @@ -187,7 +187,8 @@ crate fn build_deref_target_impls(cx: &mut DocContext<'_>, items: &[Item], ret: for &did in prim.impls(tcx).iter().filter(|did| !did.is_local()) { inline::build_impl(cx, None, did, None, ret); } - } else if let ResolvedPath { did, .. } = *target { + } else if let ResolvedPath { path } = target { + let did = path.def_id(); if !did.is_local() { inline::build_impls(cx, None, did, None, ret); } @@ -360,8 +361,8 @@ crate fn resolve_type(cx: &mut DocContext<'_>, path: Path) -> Type { Res::SelfTy(..) if path.segments.len() == 1 => Generic(kw::SelfUpper), Res::Def(DefKind::TyParam, _) if path.segments.len() == 1 => Generic(path.segments[0].name), _ => { - let did = register_res(cx, path.res); - ResolvedPath { path, did } + let _ = register_res(cx, path.res); + ResolvedPath { path } } } } diff --git a/src/librustdoc/formats/cache.rs b/src/librustdoc/formats/cache.rs index db2b836de86..dd13c4809bb 100644 --- a/src/librustdoc/formats/cache.rs +++ b/src/librustdoc/formats/cache.rs @@ -401,8 +401,8 @@ impl<'a, 'tcx> DocFolder for CacheBuilder<'a, 'tcx> { clean::ImplItem(ref i) => { self.cache.parent_is_trait_impl = i.trait_.is_some(); match i.for_ { - clean::ResolvedPath { did, .. } => { - self.cache.parent_stack.push(did); + clean::ResolvedPath { ref path } => { + self.cache.parent_stack.push(path.def_id()); true } clean::DynTrait(ref bounds, _) @@ -436,9 +436,9 @@ impl<'a, 'tcx> DocFolder for CacheBuilder<'a, 'tcx> { // Note: matching twice to restrict the lifetime of the `i` borrow. let mut dids = FxHashSet::default(); match i.for_ { - clean::ResolvedPath { did, .. } - | clean::BorrowedRef { type_: box clean::ResolvedPath { did, .. }, .. } => { - dids.insert(did); + clean::ResolvedPath { ref path } + | clean::BorrowedRef { type_: box clean::ResolvedPath { ref path }, .. } => { + dids.insert(path.def_id()); } clean::DynTrait(ref bounds, _) | clean::BorrowedRef { type_: box clean::DynTrait(ref bounds, _), .. } => { diff --git a/src/librustdoc/html/format.rs b/src/librustdoc/html/format.rs index d4c5dda19f9..1ed3ba7ece0 100644 --- a/src/librustdoc/html/format.rs +++ b/src/librustdoc/html/format.rs @@ -762,8 +762,9 @@ fn fmt_type<'cx>( match *t { clean::Generic(name) => write!(f, "{}", name), - clean::ResolvedPath { did, ref path } => { + clean::ResolvedPath { ref path } => { // Paths like `T::Output` and `Self::Output` should be rendered with all segments. + let did = path.def_id(); resolved_path(f, did, path, path.is_assoc_ty(), use_absolute, cx) } clean::DynTrait(ref bounds, ref lt) => { diff --git a/src/librustdoc/html/render/cache.rs b/src/librustdoc/html/render/cache.rs index 9aa69d94215..c114edf1e70 100644 --- a/src/librustdoc/html/render/cache.rs +++ b/src/librustdoc/html/render/cache.rs @@ -371,7 +371,7 @@ crate fn get_real_types<'tcx>( let mut ty_generics = Vec::new(); for bound in bound.get_bounds().unwrap_or(&[]) { if let Some(path) = bound.get_trait_path() { - let ty = Type::ResolvedPath { did: path.def_id(), path }; + let ty = Type::ResolvedPath { path }; get_real_types(generics, &ty, tcx, recurse + 1, &mut ty_generics, cache); } } diff --git a/src/librustdoc/html/render/mod.rs b/src/librustdoc/html/render/mod.rs index ffd09663f82..690c8f59fce 100644 --- a/src/librustdoc/html/render/mod.rs +++ b/src/librustdoc/html/render/mod.rs @@ -1243,8 +1243,8 @@ fn should_render_item(item: &clean::Item, deref_mut_: bool, tcx: TyCtxt<'_>) -> | SelfTy::SelfExplicit(clean::BorrowedRef { mutability, .. }) => { (mutability == Mutability::Mut, false, false) } - SelfTy::SelfExplicit(clean::ResolvedPath { did, .. }) => { - (false, Some(did) == tcx.lang_items().owned_box(), false) + SelfTy::SelfExplicit(clean::ResolvedPath { path }) => { + (false, Some(path.def_id()) == tcx.lang_items().owned_box(), false) } SelfTy::SelfValue => (false, false, true), _ => (false, false, false), @@ -2536,7 +2536,7 @@ fn collect_paths_for_type(first_ty: clean::Type, cache: &Cache) -> Vec<String> { } match ty { - clean::Type::ResolvedPath { did, .. } => process_path(did), + clean::Type::ResolvedPath { path } => process_path(path.def_id()), clean::Type::Tuple(tys) => { work.extend(tys.into_iter()); } diff --git a/src/librustdoc/html/render/print_item.rs b/src/librustdoc/html/render/print_item.rs index 049d17a4b47..e59b94f6b7d 100644 --- a/src/librustdoc/html/render/print_item.rs +++ b/src/librustdoc/html/render/print_item.rs @@ -727,10 +727,11 @@ fn item_trait(w: &mut Buffer, cx: &Context<'_>, it: &clean::Item, t: &clean::Tra let mut implementor_dups: FxHashMap<Symbol, (DefId, bool)> = FxHashMap::default(); for implementor in implementors { match implementor.inner_impl().for_ { - clean::ResolvedPath { ref path, did, .. } - | clean::BorrowedRef { - type_: box clean::ResolvedPath { ref path, did, .. }, .. - } if !path.is_assoc_ty() => { + clean::ResolvedPath { ref path } + | clean::BorrowedRef { type_: box clean::ResolvedPath { ref path }, .. } + if !path.is_assoc_ty() => + { + let did = path.def_id(); let &mut (prev_did, ref mut has_duplicates) = implementor_dups.entry(path.last()).or_insert((did, false)); if prev_did != did { diff --git a/src/librustdoc/json/conversions.rs b/src/librustdoc/json/conversions.rs index a46518ef489..a5c1eb12410 100644 --- a/src/librustdoc/json/conversions.rs +++ b/src/librustdoc/json/conversions.rs @@ -365,8 +365,7 @@ impl FromWithTcx<clean::GenericBound> for GenericBound { match bound { TraitBound(clean::PolyTrait { trait_, generic_params }, modifier) => { // FIXME: should `trait_` be a clean::Path equivalent in JSON? - let trait_ = - clean::ResolvedPath { did: trait_.def_id(), path: trait_ }.into_tcx(tcx); + let trait_ = clean::ResolvedPath { path: trait_ }.into_tcx(tcx); GenericBound::TraitBound { trait_, generic_params: generic_params.into_iter().map(|x| x.into_tcx(tcx)).collect(), @@ -391,9 +390,9 @@ impl FromWithTcx<clean::Type> for Type { fn from_tcx(ty: clean::Type, tcx: TyCtxt<'_>) -> Self { use clean::Type::*; match ty { - ResolvedPath { path, did } => Type::ResolvedPath { + ResolvedPath { path } => Type::ResolvedPath { name: path.whole_name(), - id: from_item_id(did.into()), + id: from_item_id(path.def_id().into()), args: path.segments.last().map(|args| Box::new(args.clone().args.into_tcx(tcx))), param_names: Vec::new(), }, @@ -436,7 +435,7 @@ impl FromWithTcx<clean::Type> for Type { }, QPath { name, self_type, trait_, .. } => { // FIXME: should `trait_` be a clean::Path equivalent in JSON? - let trait_ = ResolvedPath { did: trait_.def_id(), path: trait_ }.into_tcx(tcx); + let trait_ = ResolvedPath { path: trait_ }.into_tcx(tcx); Type::QualifiedPath { name: name.to_string(), self_type: Box::new((*self_type).into_tcx(tcx)), @@ -502,10 +501,7 @@ impl FromWithTcx<clean::Impl> for Impl { let provided_trait_methods = impl_.provided_trait_methods(tcx); let clean::Impl { unsafety, generics, trait_, for_, items, polarity, kind } = impl_; // FIXME: should `trait_` be a clean::Path equivalent in JSON? - let trait_ = trait_.map(|path| { - let did = path.def_id(); - clean::ResolvedPath { path, did }.into_tcx(tcx) - }); + let trait_ = trait_.map(|path| clean::ResolvedPath { path }.into_tcx(tcx)); // FIXME: use something like ImplKind in JSON? let (synthetic, blanket_impl) = match kind { clean::ImplKind::Normal => (false, None), |
