Skip to main content

rustdoc/clean/
inline.rs

1//! Support for inlining external documentation into the current AST.
2
3use std::iter::once;
4use std::sync::Arc;
5
6use rustc_data_structures::fx::FxHashSet;
7use rustc_data_structures::thin_vec::{ThinVec, thin_vec};
8use rustc_hir::def::{DefKind, MacroKinds, Res};
9use rustc_hir::def_id::{DefId, DefIdSet, LocalDefId, LocalModDefId};
10use rustc_hir::{self as hir, Mutability, find_attr};
11use rustc_metadata::creader::{CStore, LoadedMacro};
12use rustc_middle::ty::fast_reject::SimplifiedType;
13use rustc_middle::ty::{self, TyCtxt};
14use rustc_span::def_id::LOCAL_CRATE;
15use rustc_span::hygiene::MacroKind;
16use rustc_span::symbol::{Symbol, sym};
17use tracing::{debug, trace};
18
19use super::{Item, extract_cfg_from_attrs};
20use crate::clean::{
21    self, Attributes, CfgInfo, ImplKind, ItemId, Type, clean_bound_vars, clean_generics,
22    clean_impl_item, clean_middle_assoc_item, clean_middle_field, clean_middle_ty,
23    clean_poly_fn_sig, clean_trait_ref_with_constraints, clean_ty, clean_ty_alias_inner_type,
24    clean_ty_generics, clean_variant_def, utils,
25};
26use crate::core::DocContext;
27use crate::formats::item_type::ItemType;
28
29/// Attempt to inline a definition into this AST.
30///
31/// This function will fetch the definition specified, and if it is
32/// from another crate it will attempt to inline the documentation
33/// from the other crate into this crate.
34///
35/// This is primarily used for `pub use` statements which are, in general,
36/// implementation details. Inlining the documentation should help provide a
37/// better experience when reading the documentation in this use case.
38///
39/// The returned value is `None` if the definition could not be inlined,
40/// and `Some` of a vector of items if it was successfully expanded.
41pub(crate) fn try_inline(
42    cx: &mut DocContext<'_>,
43    res: Res,
44    name: Symbol,
45    attrs: Option<(&[hir::Attribute], Option<LocalDefId>)>,
46    visited: &mut DefIdSet,
47) -> Option<Vec<clean::Item>> {
48    fn try_inline_inner(
49        cx: &mut DocContext<'_>,
50        kind: clean::ItemKind,
51        did: DefId,
52        name: Symbol,
53        import_def_id: Option<LocalDefId>,
54    ) -> clean::Item {
55        cx.inlined.insert(did.into());
56        let mut item = crate::clean::generate_item_with_correct_attrs(
57            cx,
58            kind,
59            did,
60            name,
61            import_def_id.as_slice(),
62            None,
63        );
64        // The visibility needs to reflect the one from the reexport and not from the "source" DefId.
65        item.inner.inline_stmt_id = import_def_id;
66        item
67    }
68
69    let did = res.opt_def_id()?;
70    if did.is_local() {
71        return None;
72    }
73    let mut ret = Vec::new();
74
75    debug!("attrs={attrs:?}");
76
77    let attrs_without_docs = attrs.map(|(attrs, def_id)| {
78        (attrs.iter().filter(|a| a.doc_str().is_none()).cloned().collect::<Vec<_>>(), def_id)
79    });
80    let attrs_without_docs =
81        attrs_without_docs.as_ref().map(|(attrs, def_id)| (&attrs[..], *def_id));
82
83    let import_def_id = attrs.and_then(|(_, def_id)| def_id);
84
85    let kind = match res {
86        Res::Def(DefKind::Trait, did) => {
87            record_extern_fqn(cx, did, ItemType::Trait);
88            cx.with_param_env(did, |cx| {
89                build_impls(cx, did, attrs_without_docs, &mut ret);
90                clean::TraitItem(Box::new(build_trait(cx, did)))
91            })
92        }
93        Res::Def(DefKind::TraitAlias, did) => {
94            record_extern_fqn(cx, did, ItemType::TraitAlias);
95            cx.with_param_env(did, |cx| clean::TraitAliasItem(build_trait_alias(cx, did)))
96        }
97        Res::Def(DefKind::Fn, did) => {
98            record_extern_fqn(cx, did, ItemType::Function);
99            cx.with_param_env(did, |cx| {
100                clean::enter_impl_trait(cx, |cx| clean::FunctionItem(build_function(cx, did)))
101            })
102        }
103        Res::Def(DefKind::Struct, did) => {
104            record_extern_fqn(cx, did, ItemType::Struct);
105            cx.with_param_env(did, |cx| {
106                build_impls(cx, did, attrs_without_docs, &mut ret);
107                clean::StructItem(build_struct(cx, did))
108            })
109        }
110        Res::Def(DefKind::Union, did) => {
111            record_extern_fqn(cx, did, ItemType::Union);
112            cx.with_param_env(did, |cx| {
113                build_impls(cx, did, attrs_without_docs, &mut ret);
114                clean::UnionItem(build_union(cx, did))
115            })
116        }
117        Res::Def(DefKind::TyAlias, did) => {
118            record_extern_fqn(cx, did, ItemType::TypeAlias);
119            cx.with_param_env(did, |cx| {
120                build_impls(cx, did, attrs_without_docs, &mut ret);
121                clean::TypeAliasItem(build_type_alias(cx, did, &mut ret))
122            })
123        }
124        Res::Def(DefKind::Enum, did) => {
125            record_extern_fqn(cx, did, ItemType::Enum);
126            cx.with_param_env(did, |cx| {
127                build_impls(cx, did, attrs_without_docs, &mut ret);
128                clean::EnumItem(build_enum(cx, did))
129            })
130        }
131        Res::Def(DefKind::ForeignTy, did) => {
132            record_extern_fqn(cx, did, ItemType::ForeignType);
133            cx.with_param_env(did, |cx| {
134                build_impls(cx, did, attrs_without_docs, &mut ret);
135                clean::ForeignTypeItem
136            })
137        }
138        // Never inline enum variants but leave them shown as re-exports.
139        Res::Def(DefKind::Variant, _) => return None,
140        // Assume that enum variants and struct types are re-exported next to
141        // their constructors.
142        Res::Def(DefKind::Ctor(..), _) | Res::SelfCtor(..) => return Some(Vec::new()),
143        Res::Def(DefKind::Mod, did) => {
144            record_extern_fqn(cx, did, ItemType::Module);
145            clean::ModuleItem(build_module(cx, did, name, visited))
146        }
147        Res::Def(DefKind::Static { .. }, did) => {
148            record_extern_fqn(cx, did, ItemType::Static);
149            cx.with_param_env(did, |cx| {
150                clean::StaticItem(build_static(cx, did, cx.tcx.is_mutable_static(did)))
151            })
152        }
153        Res::Def(DefKind::Const { .. }, did) => {
154            record_extern_fqn(cx, did, ItemType::Constant);
155            cx.with_param_env(did, |cx| {
156                let ct = build_const_item(cx, did);
157                clean::ConstantItem(Box::new(ct))
158            })
159        }
160        Res::Def(DefKind::Macro(kinds), did) => {
161            let mac = build_macro(cx.tcx, did, name, kinds);
162
163            let type_kind = match kinds {
164                MacroKinds::BANG => ItemType::Macro,
165                MacroKinds::ATTR => ItemType::ProcAttribute,
166                MacroKinds::DERIVE => ItemType::ProcDerive,
167                // Then it means it's more than one type so we default to "macro".
168                _ => ItemType::Macro,
169            };
170            record_extern_fqn(cx, did, type_kind);
171            ret.push(try_inline_inner(cx, mac, did, name, import_def_id));
172            return Some(ret);
173        }
174        _ => return None,
175    };
176
177    ret.push(try_inline_inner(cx, kind, did, name, import_def_id));
178    Some(ret)
179}
180
181pub(crate) fn try_inline_glob(
182    cx: &mut DocContext<'_>,
183    res: Res,
184    current_mod: LocalModDefId,
185    visited: &mut DefIdSet,
186    inlined_names: &mut FxHashSet<(ItemType, Symbol)>,
187    import: &hir::Item<'_>,
188) -> Option<Vec<clean::Item>> {
189    let did = res.opt_def_id()?;
190    if did.is_local() {
191        return None;
192    }
193
194    match res {
195        Res::Def(DefKind::Mod, did) => {
196            // Use the set of module reexports to filter away names that are not actually
197            // reexported by the glob, e.g. because they are shadowed by something else.
198            let reexports = cx
199                .tcx
200                .module_children_local(current_mod.to_local_def_id())
201                .iter()
202                .filter(|child| !child.reexport_chain.is_empty())
203                .filter_map(|child| child.res.opt_def_id())
204                .filter(|&def_id| !cx.tcx.is_doc_hidden(def_id))
205                .collect();
206            let attrs = cx.tcx.hir_attrs(import.hir_id());
207            let mut items = build_module_items(
208                cx,
209                did,
210                cx.tcx.item_name(did),
211                visited,
212                inlined_names,
213                Some(&reexports),
214                Some((attrs, Some(import.owner_id.def_id))),
215            );
216            items.retain(|item| {
217                if let Some(name) = item.name {
218                    // If an item with the same type and name already exists,
219                    // it takes priority over the inlined stuff.
220                    inlined_names.insert((item.type_(), name))
221                } else {
222                    true
223                }
224            });
225            Some(items)
226        }
227        // glob imports on things like enums aren't inlined even for local exports, so just bail
228        _ => None,
229    }
230}
231
232pub(crate) fn load_attrs<'hir>(tcx: TyCtxt<'hir>, did: DefId) -> &'hir [hir::Attribute] {
233    // FIXME: all uses should use `find_attr`!
234    #[allow(deprecated)]
235    tcx.get_all_attrs(did)
236}
237
238pub(crate) fn item_relative_path(tcx: TyCtxt<'_>, def_id: DefId) -> Vec<Symbol> {
239    tcx.def_path(def_id).data.into_iter().filter_map(|elem| elem.data.get_opt_name()).collect()
240}
241
242/// Get the public Rust path to an item. This is used to generate the URL to the item's page.
243///
244/// In particular: we handle macro differently: if it's not a macro 2.0 oe a built-in macro, then
245/// it is generated at the top-level of the crate and its path will be `[crate_name, macro_name]`.
246pub(crate) fn get_item_path(tcx: TyCtxt<'_>, def_id: DefId, kind: ItemType) -> Vec<Symbol> {
247    let crate_name = tcx.crate_name(def_id.krate);
248    let relative = item_relative_path(tcx, def_id);
249
250    if let ItemType::Macro = kind {
251        // Check to see if it is a macro 2.0 or built-in macro
252        // More information in <https://rust-lang.github.io/rfcs/1584-macros.html>.
253        if matches!(
254            CStore::from_tcx(tcx).load_macro_untracked(tcx, def_id),
255            LoadedMacro::MacroDef { def, .. } if !def.macro_rules
256        ) {
257            once(crate_name).chain(relative).collect()
258        } else {
259            vec![crate_name, *relative.last().expect("relative was empty")]
260        }
261    } else {
262        once(crate_name).chain(relative).collect()
263    }
264}
265
266/// Record an external fully qualified name in the external_paths cache.
267///
268/// These names are used later on by HTML rendering to generate things like
269/// source links back to the original item.
270pub(crate) fn record_extern_fqn(cx: &mut DocContext<'_>, did: DefId, kind: ItemType) {
271    if did.is_local() {
272        if cx.cache.exact_paths.contains_key(&did) {
273            return;
274        }
275    } else if cx.cache.external_paths.contains_key(&did) {
276        return;
277    }
278
279    let item_path = get_item_path(cx.tcx, did, kind);
280
281    if did.is_local() {
282        cx.cache.exact_paths.insert(did, item_path);
283    } else {
284        cx.cache.external_paths.insert(did, (item_path, kind));
285    }
286}
287
288pub(crate) fn build_trait(cx: &mut DocContext<'_>, did: DefId) -> clean::Trait {
289    let trait_items = cx
290        .tcx
291        .associated_items(did)
292        .in_definition_order()
293        .filter(|item| !item.is_impl_trait_in_trait())
294        .map(|item| clean_middle_assoc_item(item, cx))
295        .collect();
296
297    let generics = clean_ty_generics(cx, did);
298    let (generics, mut supertrait_bounds) = separate_self_bounds(generics);
299
300    supertrait_bounds.retain(|b| {
301        // FIXME(sized-hierarchy): Always skip `MetaSized` bounds so that only `?Sized`
302        // is shown and none of the new sizedness traits leak into documentation.
303        !b.is_meta_sized_bound(cx.tcx)
304    });
305
306    clean::Trait { def_id: did, generics, items: trait_items, bounds: supertrait_bounds }
307}
308
309fn build_trait_alias(cx: &mut DocContext<'_>, did: DefId) -> clean::TraitAlias {
310    let generics = clean_ty_generics(cx, did);
311    let (generics, mut bounds) = separate_self_bounds(generics);
312
313    bounds.retain(|b| {
314        // FIXME(sized-hierarchy): Always skip `MetaSized` bounds so that only `?Sized`
315        // is shown and none of the new sizedness traits leak into documentation.
316        !b.is_meta_sized_bound(cx.tcx)
317    });
318
319    clean::TraitAlias { generics, bounds }
320}
321
322pub(super) fn build_function(cx: &mut DocContext<'_>, def_id: DefId) -> Box<clean::Function> {
323    let sig = cx.tcx.fn_sig(def_id).instantiate_identity().skip_norm_wip();
324    // The generics need to be cleaned before the signature.
325    let mut generics = clean_ty_generics(cx, def_id);
326    let bound_vars = clean_bound_vars(sig.bound_vars(), cx.tcx);
327
328    // At the time of writing early & late-bound params are stored separately in rustc,
329    // namely in `generics.params` and `bound_vars` respectively.
330    //
331    // To reestablish the original source code order of the generic parameters, we
332    // need to manually sort them by their definition span after concatenation.
333    //
334    // See also:
335    // * https://rustc-dev-guide.rust-lang.org/bound-vars-and-params.html
336    // * https://rustc-dev-guide.rust-lang.org/what-does-early-late-bound-mean.html
337    let has_early_bound_params = !generics.params.is_empty();
338    let has_late_bound_params = !bound_vars.is_empty();
339    generics.params.extend(bound_vars);
340    if has_early_bound_params && has_late_bound_params {
341        // If this ever becomes a performances bottleneck either due to the sorting
342        // or due to the query calls, consider inserting the late-bound lifetime params
343        // right after the last early-bound lifetime param followed by only sorting
344        // the slice of lifetime params.
345        generics.params.sort_by_key(|param| cx.tcx.def_ident_span(param.def_id).unwrap());
346    }
347
348    let decl = clean_poly_fn_sig(cx, Some(def_id), sig);
349
350    Box::new(clean::Function { decl, generics })
351}
352
353fn build_enum(cx: &mut DocContext<'_>, did: DefId) -> clean::Enum {
354    clean::Enum {
355        generics: clean_ty_generics(cx, did),
356        variants: cx.tcx.adt_def(did).variants().iter().map(|v| clean_variant_def(v, cx)).collect(),
357    }
358}
359
360fn build_struct(cx: &mut DocContext<'_>, did: DefId) -> clean::Struct {
361    let variant = cx.tcx.adt_def(did).non_enum_variant();
362
363    clean::Struct {
364        ctor_kind: variant.ctor_kind(),
365        generics: clean_ty_generics(cx, did),
366        fields: variant.fields.iter().map(|x| clean_middle_field(x, cx)).collect(),
367    }
368}
369
370fn build_union(cx: &mut DocContext<'_>, did: DefId) -> clean::Union {
371    let variant = cx.tcx.adt_def(did).non_enum_variant();
372
373    let generics = clean_ty_generics(cx, did);
374    let fields = variant.fields.iter().map(|x| clean_middle_field(x, cx)).collect();
375    clean::Union { generics, fields }
376}
377
378fn build_type_alias(
379    cx: &mut DocContext<'_>,
380    did: DefId,
381    ret: &mut Vec<Item>,
382) -> Box<clean::TypeAlias> {
383    let ty = cx.tcx.type_of(did).instantiate_identity().skip_norm_wip();
384    let type_ = clean_middle_ty(ty::Binder::dummy(ty), cx, Some(did), None);
385    let inner_type = clean_ty_alias_inner_type(ty, cx, ret);
386
387    Box::new(clean::TypeAlias {
388        type_,
389        generics: clean_ty_generics(cx, did),
390        inner_type,
391        item_type: None,
392    })
393}
394
395/// Builds all inherent implementations of an ADT (struct/union/enum) or Trait item/path/reexport.
396pub(crate) fn build_impls(
397    cx: &mut DocContext<'_>,
398    did: DefId,
399    attrs: Option<(&[hir::Attribute], Option<LocalDefId>)>,
400    ret: &mut Vec<clean::Item>,
401) {
402    let tcx = cx.tcx;
403    let _prof_timer = tcx.sess.prof.generic_activity("build_inherent_impls");
404
405    // for each implementation of an item represented by `did`, build the clean::Item for that impl
406    for &did in tcx.inherent_impls(did).iter() {
407        cx.with_param_env(did, |cx| {
408            build_impl(cx, did, attrs, ret);
409        });
410    }
411
412    // This pretty much exists expressly for `dyn Error` traits that exist in the `alloc` crate.
413    // See also:
414    //
415    // * https://github.com/rust-lang/rust/issues/103170 — where it didn't used to get documented
416    // * https://github.com/rust-lang/rust/pull/99917 — where the feature got used
417    // * https://github.com/rust-lang/rust/issues/53487 — overall tracking issue for Error
418    if find_attr!(tcx, did, RustcHasIncoherentInherentImpls) {
419        let type_ =
420            if tcx.is_trait(did) { SimplifiedType::Trait(did) } else { SimplifiedType::Adt(did) };
421        for &did in tcx.incoherent_impls(type_).iter() {
422            cx.with_param_env(did, |cx| {
423                build_impl(cx, did, attrs, ret);
424            });
425        }
426    }
427}
428
429pub(crate) fn merge_attrs(
430    tcx: TyCtxt<'_>,
431    old_attrs: &[hir::Attribute],
432    new_attrs: Option<(&[hir::Attribute], Option<LocalDefId>)>,
433    cfg_info: &mut CfgInfo,
434) -> (clean::Attributes, Option<Arc<clean::cfg::Cfg>>) {
435    // NOTE: If we have additional attributes (from a re-export),
436    // always insert them first. This ensure that re-export
437    // doc comments show up before the original doc comments
438    // when we render them.
439    if let Some((inner, item_id)) = new_attrs {
440        let mut both = inner.to_vec();
441        both.extend_from_slice(old_attrs);
442        (
443            if let Some(item_id) = item_id {
444                Attributes::from_hir_with_additional(old_attrs, (inner, item_id.to_def_id()))
445            } else {
446                Attributes::from_hir(&both)
447            },
448            extract_cfg_from_attrs(both.iter(), tcx, cfg_info),
449        )
450    } else {
451        (Attributes::from_hir(old_attrs), extract_cfg_from_attrs(old_attrs.iter(), tcx, cfg_info))
452    }
453}
454
455/// Inline an `impl`, inherent or of a trait. The `did` must be for an `impl`.
456pub(crate) fn build_impl(
457    cx: &mut DocContext<'_>,
458    did: DefId,
459    attrs: Option<(&[hir::Attribute], Option<LocalDefId>)>,
460    ret: &mut Vec<clean::Item>,
461) {
462    if !cx.inlined.insert(did.into()) {
463        return;
464    }
465
466    let tcx = cx.tcx;
467    let _prof_timer = tcx.sess.prof.generic_activity("build_impl");
468
469    let associated_trait = tcx.impl_opt_trait_ref(did).map(ty::EarlyBinder::skip_binder);
470
471    // Do not inline compiler-internal items unless we're a compiler-internal crate.
472    let is_compiler_internal = |did| {
473        tcx.lookup_stability(did)
474            .is_some_and(|stab| stab.is_unstable() && stab.feature == sym::rustc_private)
475    };
476    let document_compiler_internal = is_compiler_internal(LOCAL_CRATE.as_def_id());
477    let is_directly_public = |cx: &mut DocContext<'_>, did| {
478        cx.cache.effective_visibilities.is_directly_public(tcx, did)
479            && (document_compiler_internal || !is_compiler_internal(did))
480    };
481
482    // Only inline impl if the implemented trait is
483    // reachable in rustdoc generated documentation
484    if !did.is_local()
485        && let Some(traitref) = associated_trait
486        && !is_directly_public(cx, traitref.def_id)
487    {
488        return;
489    }
490
491    let impl_item = match did.as_local() {
492        Some(did) => match &tcx.hir_expect_item(did).kind {
493            hir::ItemKind::Impl(impl_) => Some(impl_),
494            _ => panic!("`DefID` passed to `build_impl` is not an `impl"),
495        },
496        None => None,
497    };
498
499    let for_ = match &impl_item {
500        Some(impl_) => clean_ty(impl_.self_ty, cx),
501        None => clean_middle_ty(
502            ty::Binder::dummy(tcx.type_of(did).instantiate_identity().skip_norm_wip()),
503            cx,
504            Some(did),
505            None,
506        ),
507    };
508
509    // Only inline impl if the implementing type is
510    // reachable in rustdoc generated documentation
511    if !did.is_local()
512        && let Some(did) = for_.def_id(&cx.cache)
513        && !is_directly_public(cx, did)
514    {
515        return;
516    }
517
518    let document_hidden = cx.document_hidden();
519    let (trait_items, generics) = match impl_item {
520        Some(impl_) => (
521            impl_
522                .items
523                .iter()
524                .map(|&item| tcx.hir_impl_item(item))
525                .filter(|item| {
526                    // Filter out impl items whose corresponding trait item has `doc(hidden)`
527                    // not to document such impl items.
528                    // For inherent impls, we don't do any filtering, because that's already done in strip_hidden.rs.
529
530                    // When `--document-hidden-items` is passed, we don't
531                    // do any filtering, too.
532                    if document_hidden {
533                        return true;
534                    }
535                    if let Some(associated_trait) = associated_trait {
536                        let assoc_tag = match item.kind {
537                            hir::ImplItemKind::Const(..) => ty::AssocTag::Const,
538                            hir::ImplItemKind::Fn(..) => ty::AssocTag::Fn,
539                            hir::ImplItemKind::Type(..) => ty::AssocTag::Type,
540                        };
541                        let trait_item = tcx
542                            .associated_items(associated_trait.def_id)
543                            .find_by_ident_and_kind(
544                                tcx,
545                                item.ident,
546                                assoc_tag,
547                                associated_trait.def_id,
548                            )
549                            .unwrap(); // SAFETY: For all impl items there exists trait item that has the same name.
550                        !tcx.is_doc_hidden(trait_item.def_id)
551                    } else {
552                        true
553                    }
554                })
555                .map(|item| clean_impl_item(item, cx))
556                .collect::<Vec<_>>(),
557            clean_generics(impl_.generics, cx),
558        ),
559        None => (
560            tcx.associated_items(did)
561                .in_definition_order()
562                .filter(|item| !item.is_impl_trait_in_trait())
563                .filter(|item| {
564                    // If this is a trait impl, filter out associated items whose corresponding item
565                    // in the associated trait is marked `doc(hidden)`.
566                    // If this is an inherent impl, filter out private associated items.
567                    if let Some(associated_trait) = associated_trait {
568                        let trait_item = tcx
569                            .associated_items(associated_trait.def_id)
570                            .find_by_ident_and_kind(
571                                tcx,
572                                item.ident(tcx),
573                                item.tag(),
574                                associated_trait.def_id,
575                            )
576                            .unwrap(); // corresponding associated item has to exist
577                        document_hidden || !tcx.is_doc_hidden(trait_item.def_id)
578                    } else {
579                        item.visibility(tcx).is_public()
580                    }
581                })
582                .map(|item| clean_middle_assoc_item(item, cx))
583                .collect::<Vec<_>>(),
584            clean::enter_impl_trait(cx, |cx| clean_ty_generics(cx, did)),
585        ),
586    };
587    let polarity = if associated_trait.is_some() {
588        tcx.impl_polarity(did)
589    } else {
590        ty::ImplPolarity::Positive
591    };
592    let trait_ = associated_trait
593        .map(|t| clean_trait_ref_with_constraints(cx, ty::Binder::dummy(t), ThinVec::new()));
594    if trait_.as_ref().map(|t| t.def_id()) == tcx.lang_items().deref_trait()
595        && polarity != ty::ImplPolarity::Negative
596    {
597        super::build_deref_target_impls(cx, &trait_items, ret);
598    }
599
600    if !document_hidden {
601        // Return if the trait itself or any types of the generic parameters are doc(hidden).
602        let mut stack: Vec<&Type> = vec![&for_];
603
604        if let Some(did) = trait_.as_ref().map(|t| t.def_id())
605            && tcx.is_doc_hidden(did)
606        {
607            return;
608        }
609
610        if let Some(generics) = trait_.as_ref().and_then(|t| t.generics()) {
611            stack.extend(generics);
612        }
613
614        while let Some(ty) = stack.pop() {
615            if let Some(did) = ty.def_id(&cx.cache)
616                && tcx.is_doc_hidden(did)
617            {
618                return;
619            }
620            if let Some(generics) = ty.generics() {
621                stack.extend(generics);
622            }
623        }
624    }
625
626    if let Some(did) = trait_.as_ref().map(|t| t.def_id()) {
627        cx.with_param_env(did, |cx| {
628            record_extern_trait(cx, did);
629        });
630    }
631
632    // In here, we pass an empty `CfgInfo` because the computation of `cfg` happens later, so it
633    // doesn't matter at this point.
634    //
635    // We need to pass this empty `CfgInfo` because `merge_attrs` is used when computing the `cfg`.
636    let (merged_attrs, cfg) =
637        merge_attrs(cx.tcx, load_attrs(cx.tcx, did), attrs, &mut CfgInfo::default());
638    trace!("merged_attrs={merged_attrs:?}");
639
640    trace!(
641        "build_impl: impl {:?} for {:?}",
642        trait_.as_ref().map(|t| t.def_id()),
643        for_.def_id(&cx.cache)
644    );
645    ret.push(clean::Item::from_def_id_and_attrs_and_parts(
646        did,
647        None,
648        clean::ImplItem(Box::new(clean::Impl {
649            safety: hir::Safety::Safe,
650            generics,
651            trait_,
652            for_,
653            items: trait_items,
654            polarity,
655            kind: if utils::has_doc_flag(tcx, did, |d| d.fake_variadic.is_some()) {
656                ImplKind::FakeVariadic
657            } else {
658                ImplKind::Normal
659            },
660            is_deprecated: tcx
661                .lookup_deprecation(did)
662                .is_some_and(|deprecation| deprecation.is_in_effect()),
663        })),
664        merged_attrs,
665        cfg,
666    ));
667}
668
669fn build_module(
670    cx: &mut DocContext<'_>,
671    did: DefId,
672    name: Symbol,
673    visited: &mut DefIdSet,
674) -> clean::Module {
675    let items = build_module_items(cx, did, name, visited, &mut FxHashSet::default(), None, None);
676
677    let span = clean::Span::new(cx.tcx.def_span(did));
678    clean::Module { items, span }
679}
680
681// We are only interested into `Res::Def`. And in there, we only want "items" which get their own
682//  rustdoc page. So not `DefKind::Ctor` for example (which is returned by `tcx.module_children()`).
683fn should_ignore_res(res: Res) -> bool {
684    !matches!(res, Res::Def(def_kind, _) if !should_ignore_def_kind(def_kind))
685}
686
687fn should_ignore_def_kind(kind: DefKind) -> bool {
688    !matches!(
689        kind,
690        DefKind::Trait
691            | DefKind::TraitAlias
692            | DefKind::Fn
693            | DefKind::Struct
694            | DefKind::Union
695            | DefKind::TyAlias
696            | DefKind::Enum
697            | DefKind::ForeignTy
698            | DefKind::Variant
699            | DefKind::Mod
700            | DefKind::Static { .. }
701            | DefKind::Const { .. }
702            | DefKind::Macro(_)
703            | DefKind::Use
704    )
705}
706
707fn build_module_items(
708    cx: &mut DocContext<'_>,
709    module_def_id: DefId,
710    module_name: Symbol,
711    visited: &mut DefIdSet,
712    inlined_names: &mut FxHashSet<(ItemType, Symbol)>,
713    allowed_def_ids: Option<&DefIdSet>,
714    attrs: Option<(&[hir::Attribute], Option<LocalDefId>)>,
715) -> Vec<clean::Item> {
716    let mut items = Vec::new();
717
718    // If we're re-exporting a re-export it may actually re-export something in
719    // two namespaces, so the target may be listed twice. Make sure we only
720    // visit each node at most once.
721    for item in cx.tcx.module_children(module_def_id).iter() {
722        if !item.vis.is_public() {
723            continue;
724        }
725        let res = item.res.expect_non_local();
726        if let Some(def_id) = res.opt_def_id()
727            && let Some(allowed_def_ids) = allowed_def_ids
728            && !allowed_def_ids.contains(&def_id)
729        {
730            continue;
731        }
732        if let Some(def_id) = res.mod_def_id() {
733            // If we're inlining a glob import, it's possible to have
734            // two distinct modules with the same name. We don't want to
735            // inline it, or mark any of its contents as visited.
736            if module_def_id == def_id
737                || inlined_names.contains(&(ItemType::Module, item.ident.name))
738                || !visited.insert(def_id)
739            {
740                continue;
741            }
742        }
743        if let Res::PrimTy(p) = res {
744            // Primitive types can't be inlined so generate an import instead.
745            let prim_ty = clean::PrimitiveType::from(p);
746            items.push(clean::Item {
747                inner: Box::new(clean::ItemInner {
748                    name: None,
749                    // We can use the item's `DefId` directly since the only information ever
750                    // used from it is `DefId.krate`.
751                    item_id: ItemId::DefId(module_def_id),
752                    attrs: Default::default(),
753                    stability: None,
754                    kind: clean::ImportItem(clean::Import::new_simple(
755                        item.ident.name,
756                        clean::ImportSource {
757                            path: clean::Path {
758                                res,
759                                segments: thin_vec![clean::PathSegment {
760                                    name: prim_ty.as_sym(),
761                                    args: clean::GenericArgs::AngleBracketed {
762                                        args: Default::default(),
763                                        constraints: ThinVec::new(),
764                                    },
765                                }],
766                            },
767                            did: None,
768                        },
769                        true,
770                    )),
771                    cfg: None,
772                    inline_stmt_id: None,
773                }),
774            });
775        } else if let Some(def_id) = res.opt_def_id()
776            && let Some(reexport) = item.reexport_chain.first()
777            && let Some(reexport_def_id) = reexport.id()
778            && !should_ignore_def_kind(cx.tcx.def_kind(reexport_def_id))
779            && find_attr!(
780                load_attrs(cx.tcx, reexport_def_id),
781                Doc(d)
782                if d.inline.first().is_some_and(|(inline, _)| *inline == hir::attrs::DocInline::NoInline)
783            )
784        {
785            // We don't inline foreign `use`.
786            if should_ignore_res(res) || matches!(res, Res::Def(DefKind::Use, _)) {
787                continue;
788            }
789            // This item is reexported as `no_inline` so it shouldn't be inlined.
790            let item = Item::from_def_id_and_parts(
791                module_def_id,
792                None,
793                clean::ImportItem(clean::Import::new_simple(
794                    item.ident.name,
795                    clean::ImportSource {
796                        path: clean::Path {
797                            res,
798                            segments: thin_vec![
799                                clean::PathSegment {
800                                    name: module_name,
801                                    args: clean::GenericArgs::AngleBracketed {
802                                        args: Default::default(),
803                                        constraints: ThinVec::new(),
804                                    },
805                                },
806                                clean::PathSegment {
807                                    name: cx.tcx.item_name(def_id),
808                                    args: clean::GenericArgs::AngleBracketed {
809                                        args: Default::default(),
810                                        constraints: ThinVec::new(),
811                                    },
812                                },
813                            ],
814                        },
815                        did: None,
816                    },
817                    true,
818                )),
819                cx.tcx,
820            );
821            items.push(item);
822        } else if let Some(i) = try_inline(cx, res, item.ident.name, attrs, visited) {
823            items.extend(i)
824        }
825    }
826
827    items
828}
829
830pub(crate) fn print_inlined_const(tcx: TyCtxt<'_>, did: DefId) -> String {
831    if let Some(did) = did.as_local() {
832        let hir_id = tcx.local_def_id_to_hir_id(did);
833        rustc_hir_pretty::id_to_string(&tcx, hir_id)
834    } else {
835        tcx.rendered_const(did).clone()
836    }
837}
838
839fn build_const_item(cx: &mut DocContext<'_>, def_id: DefId) -> clean::Constant {
840    let mut generics = clean_ty_generics(cx, def_id);
841    clean::simplify::move_bounds_to_generic_parameters(&mut generics);
842    let ty = clean_middle_ty(
843        ty::Binder::dummy(cx.tcx.type_of(def_id).instantiate_identity().skip_norm_wip()),
844        cx,
845        None,
846        None,
847    );
848    clean::Constant { generics, type_: ty, kind: clean::ConstantKind::Extern { def_id } }
849}
850
851fn build_static(cx: &mut DocContext<'_>, did: DefId, mutable: bool) -> clean::Static {
852    clean::Static {
853        type_: Box::new(clean_middle_ty(
854            ty::Binder::dummy(cx.tcx.type_of(did).instantiate_identity().skip_norm_wip()),
855            cx,
856            Some(did),
857            None,
858        )),
859        mutability: if mutable { Mutability::Mut } else { Mutability::Not },
860        expr: None,
861    }
862}
863
864fn build_macro(
865    tcx: TyCtxt<'_>,
866    def_id: DefId,
867    name: Symbol,
868    macro_kinds: MacroKinds,
869) -> clean::ItemKind {
870    match CStore::from_tcx(tcx).load_macro_untracked(tcx, def_id) {
871        LoadedMacro::MacroDef { def, .. } => match macro_kinds {
872            MacroKinds::DERIVE => clean::ProcMacroItem(clean::ProcMacro {
873                kind: MacroKind::Derive,
874                helpers: Vec::new(),
875            }),
876            MacroKinds::ATTR => clean::ProcMacroItem(clean::ProcMacro {
877                kind: MacroKind::Attr,
878                helpers: Vec::new(),
879            }),
880            _ => clean::MacroItem(
881                clean::Macro {
882                    source: utils::display_macro_source(tcx, name, &def),
883                    macro_rules: def.macro_rules,
884                },
885                macro_kinds,
886            ),
887        },
888        LoadedMacro::ProcMacro(ext) => {
889            // Proc macros can only have a single kind
890            let kind = match ext.macro_kinds() {
891                MacroKinds::BANG => MacroKind::Bang,
892                MacroKinds::ATTR => MacroKind::Attr,
893                MacroKinds::DERIVE => MacroKind::Derive,
894                _ => unreachable!(),
895            };
896            clean::ProcMacroItem(clean::ProcMacro { kind, helpers: ext.helper_attrs })
897        }
898    }
899}
900
901fn separate_self_bounds(mut g: clean::Generics) -> (clean::Generics, Vec<clean::GenericBound>) {
902    let mut ty_bounds = Vec::new();
903    g.where_predicates.retain(|pred| match *pred {
904        clean::WherePredicate::BoundPredicate { ty: clean::SelfTy, ref bounds, .. } => {
905            ty_bounds.extend(bounds.iter().cloned());
906            false
907        }
908        _ => true,
909    });
910    (g, ty_bounds)
911}
912
913pub(crate) fn record_extern_trait(cx: &mut DocContext<'_>, did: DefId) {
914    if did.is_local()
915        || cx.external_traits.contains_key(&did)
916        || cx.active_extern_traits.contains(&did)
917    {
918        return;
919    }
920
921    cx.active_extern_traits.insert(did);
922
923    debug!("record_extern_trait: {did:?}");
924    let trait_ = build_trait(cx, did);
925
926    cx.external_traits.insert(did, trait_);
927    cx.active_extern_traits.remove(&did);
928}