1use 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
29pub(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 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 Res::Def(DefKind::Variant, _) => return None,
140 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 _ => 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 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 inlined_names.insert((item.type_(), name))
221 } else {
222 true
223 }
224 });
225 Some(items)
226 }
227 _ => None,
229 }
230}
231
232pub(crate) fn load_attrs<'hir>(tcx: TyCtxt<'hir>, did: DefId) -> &'hir [hir::Attribute] {
233 #[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
242pub(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 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
266pub(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 !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 !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 let mut generics = clean_ty_generics(cx, def_id);
326 let bound_vars = clean_bound_vars(sig.bound_vars(), cx.tcx);
327
328 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 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
395pub(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 &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 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 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
455pub(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 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 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 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 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(); !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 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(); 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 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 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
681fn 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 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 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 let prim_ty = clean::PrimitiveType::from(p);
746 items.push(clean::Item {
747 inner: Box::new(clean::ItemInner {
748 name: None,
749 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 if should_ignore_res(res) || matches!(res, Res::Def(DefKind::Use, _)) {
787 continue;
788 }
789 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 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}