Skip to content

Commit c2c70e2

Browse files
Remove Clean trait implementation for ty::Visibility
1 parent 48316df commit c2c70e2

File tree

3 files changed

+17
-18
lines changed

3 files changed

+17
-18
lines changed

src/librustdoc/clean/inline.rs

+4-3
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,8 @@ use rustc_span::symbol::{kw, sym, Symbol};
1717

1818
use crate::clean::{
1919
self, clean_fn_decl_from_did_and_sig, clean_middle_field, clean_middle_ty, clean_ty,
20-
clean_ty_generics, utils, Attributes, AttributesExt, Clean, ImplKind, ItemId, Type, Visibility,
20+
clean_ty_generics, clean_visibility, utils, Attributes, AttributesExt, Clean, ImplKind, ItemId,
21+
Type, Visibility,
2122
};
2223
use crate::core::DocContext;
2324
use crate::formats::item_type::ItemType;
@@ -134,7 +135,7 @@ pub(crate) fn try_inline(
134135
);
135136
if let Some(import_def_id) = import_def_id {
136137
// The visibility needs to reflect the one from the reexport and not from the "source" DefId.
137-
item.visibility = cx.tcx.visibility(import_def_id).clean(cx);
138+
item.visibility = clean_visibility(cx.tcx.visibility(import_def_id));
138139
}
139140
ret.push(item);
140141
Some(ret)
@@ -599,7 +600,7 @@ fn build_macro(
599600
match CStore::from_tcx(cx.tcx).load_macro_untracked(def_id, cx.sess()) {
600601
LoadedMacro::MacroDef(item_def, _) => {
601602
if let ast::ItemKind::MacroDef(ref def) = item_def.kind {
602-
let vis = cx.tcx.visibility(import_def_id.unwrap_or(def_id)).clean(cx);
603+
let vis = clean_visibility(cx.tcx.visibility(import_def_id.unwrap_or(def_id)));
603604
clean::MacroItem(clean::Macro {
604605
source: utils::display_macro_source(cx, name, def, def_id, vis),
605606
})

src/librustdoc/clean/mod.rs

+11-13
Original file line numberDiff line numberDiff line change
@@ -1817,17 +1817,15 @@ fn is_field_vis_inherited(tcx: TyCtxt<'_>, def_id: DefId) -> bool {
18171817
}
18181818
}
18191819

1820-
impl<'tcx> Clean<'tcx, Visibility> for ty::Visibility {
1821-
fn clean(&self, _cx: &mut DocContext<'_>) -> Visibility {
1822-
match *self {
1823-
ty::Visibility::Public => Visibility::Public,
1824-
// NOTE: this is not quite right: `ty` uses `Invisible` to mean 'private',
1825-
// while rustdoc really does mean inherited. That means that for enum variants, such as
1826-
// `pub enum E { V }`, `V` will be marked as `Public` by `ty`, but as `Inherited` by rustdoc.
1827-
// Various parts of clean override `tcx.visibility` explicitly to make sure this distinction is captured.
1828-
ty::Visibility::Invisible => Visibility::Inherited,
1829-
ty::Visibility::Restricted(module) => Visibility::Restricted(module),
1830-
}
1820+
pub(crate) fn clean_visibility(vis: ty::Visibility) -> Visibility {
1821+
match vis {
1822+
ty::Visibility::Public => Visibility::Public,
1823+
// NOTE: this is not quite right: `ty` uses `Invisible` to mean 'private',
1824+
// while rustdoc really does mean inherited. That means that for enum variants, such as
1825+
// `pub enum E { V }`, `V` will be marked as `Public` by `ty`, but as `Inherited` by rustdoc.
1826+
// Various parts of clean override `tcx.visibility` explicitly to make sure this distinction is captured.
1827+
ty::Visibility::Invisible => Visibility::Inherited,
1828+
ty::Visibility::Restricted(module) => Visibility::Restricted(module),
18311829
}
18321830
}
18331831

@@ -1988,7 +1986,7 @@ fn clean_maybe_renamed_item<'tcx>(
19881986
clean_fn_or_proc_macro(item, sig, generics, body_id, &mut name, cx)
19891987
}
19901988
ItemKind::Macro(ref macro_def, _) => {
1991-
let ty_vis = cx.tcx.visibility(def_id).clean(cx);
1989+
let ty_vis = clean_visibility(cx.tcx.visibility(def_id));
19921990
MacroItem(Macro {
19931991
source: display_macro_source(cx, name, macro_def, def_id, ty_vis),
19941992
})
@@ -2117,7 +2115,7 @@ fn clean_extern_crate<'tcx>(
21172115
name: Some(name),
21182116
attrs: Box::new(attrs.clean(cx)),
21192117
item_id: crate_def_id.into(),
2120-
visibility: ty_vis.clean(cx),
2118+
visibility: clean_visibility(ty_vis),
21212119
kind: box ExternCrateItem { src: orig_name },
21222120
cfg: attrs.cfg(cx.tcx, &cx.cache.hidden_cfg),
21232121
}]

src/librustdoc/clean/types.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,7 @@ use crate::clean::cfg::Cfg;
3737
use crate::clean::external_path;
3838
use crate::clean::inline::{self, print_inlined_const};
3939
use crate::clean::utils::{is_literal_expr, print_const_expr, print_evaluated_const};
40-
use crate::clean::Clean;
40+
use crate::clean::{clean_visibility, Clean};
4141
use crate::core::DocContext;
4242
use crate::formats::cache::Cache;
4343
use crate::formats::item_type::ItemType;
@@ -499,7 +499,7 @@ impl Item {
499499
let visibility = if matches!(&kind, ItemKind::KeywordItem | ItemKind::PrimitiveItem(..)) {
500500
Visibility::Public
501501
} else {
502-
cx.tcx.visibility(def_id).clean(cx)
502+
clean_visibility(cx.tcx.visibility(def_id))
503503
};
504504

505505
Item { item_id: def_id.into(), kind: box kind, name, attrs, visibility, cfg }

0 commit comments

Comments
 (0)