Add ty::Visibility::is_public()
This commit is contained in:
parent
8b09ba6a5d
commit
9a987b0466
12 changed files with 23 additions and 24 deletions
|
@ -1179,7 +1179,7 @@ impl<'a, 'tcx> CrateMetadataRef<'a> {
|
||||||
let ctor_res =
|
let ctor_res =
|
||||||
Res::Def(DefKind::Ctor(CtorOf::Variant, ctor_kind), ctor_def_id);
|
Res::Def(DefKind::Ctor(CtorOf::Variant, ctor_kind), ctor_def_id);
|
||||||
let mut vis = self.get_visibility(ctor_def_id.index);
|
let mut vis = self.get_visibility(ctor_def_id.index);
|
||||||
if ctor_def_id == def_id && vis == ty::Visibility::Public {
|
if ctor_def_id == def_id && vis.is_public() {
|
||||||
// For non-exhaustive variants lower the constructor visibility to
|
// For non-exhaustive variants lower the constructor visibility to
|
||||||
// within the crate. We only need this for fictive constructors,
|
// within the crate. We only need this for fictive constructors,
|
||||||
// for other constructors correct visibilities
|
// for other constructors correct visibilities
|
||||||
|
|
|
@ -318,7 +318,7 @@ pub fn provide(providers: &mut Providers) {
|
||||||
}
|
}
|
||||||
|
|
||||||
let mut add_child = |bfs_queue: &mut VecDeque<_>, child: &Export, parent: DefId| {
|
let mut add_child = |bfs_queue: &mut VecDeque<_>, child: &Export, parent: DefId| {
|
||||||
if child.vis != ty::Visibility::Public {
|
if !child.vis.is_public() {
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -333,6 +333,10 @@ impl Visibility {
|
||||||
Visibility::Invisible => false,
|
Visibility::Invisible => false,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
pub fn is_public(self) -> bool {
|
||||||
|
matches!(self, Visibility::Public)
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// The crate variances map is computed during typeck and contains the
|
/// The crate variances map is computed during typeck and contains the
|
||||||
|
|
|
@ -2404,7 +2404,7 @@ fn for_each_def(tcx: TyCtxt<'_>, mut collect_fn: impl for<'b> FnMut(&'b Ident, N
|
||||||
// Iterate external crate defs but be mindful about visibility
|
// Iterate external crate defs but be mindful about visibility
|
||||||
while let Some(def) = queue.pop() {
|
while let Some(def) = queue.pop() {
|
||||||
for child in tcx.item_children(def).iter() {
|
for child in tcx.item_children(def).iter() {
|
||||||
if child.vis != ty::Visibility::Public {
|
if !child.vis.is_public() {
|
||||||
continue;
|
continue;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -543,7 +543,7 @@ impl EmbargoVisitor<'tcx> {
|
||||||
module: LocalDefId,
|
module: LocalDefId,
|
||||||
) {
|
) {
|
||||||
let level = Some(AccessLevel::Reachable);
|
let level = Some(AccessLevel::Reachable);
|
||||||
if let ty::Visibility::Public = vis {
|
if vis.is_public() {
|
||||||
self.update(def_id, level);
|
self.update(def_id, level);
|
||||||
}
|
}
|
||||||
match def_kind {
|
match def_kind {
|
||||||
|
@ -580,7 +580,7 @@ impl EmbargoVisitor<'tcx> {
|
||||||
|
|
||||||
DefKind::Struct | DefKind::Union => {
|
DefKind::Struct | DefKind::Union => {
|
||||||
// While structs and unions have type privacy, their fields do not.
|
// While structs and unions have type privacy, their fields do not.
|
||||||
if let ty::Visibility::Public = vis {
|
if vis.is_public() {
|
||||||
let item =
|
let item =
|
||||||
self.tcx.hir().expect_item(self.tcx.hir().local_def_id_to_hir_id(def_id));
|
self.tcx.hir().expect_item(self.tcx.hir().local_def_id_to_hir_id(def_id));
|
||||||
if let hir::ItemKind::Struct(ref struct_def, _)
|
if let hir::ItemKind::Struct(ref struct_def, _)
|
||||||
|
@ -933,7 +933,7 @@ impl Visitor<'tcx> for EmbargoVisitor<'tcx> {
|
||||||
let def_id = self.tcx.hir().local_def_id(id);
|
let def_id = self.tcx.hir().local_def_id(id);
|
||||||
if let Some(exports) = self.tcx.module_exports(def_id) {
|
if let Some(exports) = self.tcx.module_exports(def_id) {
|
||||||
for export in exports.iter() {
|
for export in exports.iter() {
|
||||||
if export.vis == ty::Visibility::Public {
|
if export.vis.is_public() {
|
||||||
if let Some(def_id) = export.res.opt_def_id() {
|
if let Some(def_id) = export.res.opt_def_id() {
|
||||||
if let Some(def_id) = def_id.as_local() {
|
if let Some(def_id) = def_id.as_local() {
|
||||||
self.update(def_id, Some(AccessLevel::Exported));
|
self.update(def_id, Some(AccessLevel::Exported));
|
||||||
|
@ -1918,8 +1918,7 @@ impl SearchInterfaceForPrivateItemsVisitor<'tcx> {
|
||||||
/// 1. It's contained within a public type
|
/// 1. It's contained within a public type
|
||||||
/// 2. It comes from a private crate
|
/// 2. It comes from a private crate
|
||||||
fn leaks_private_dep(&self, item_id: DefId) -> bool {
|
fn leaks_private_dep(&self, item_id: DefId) -> bool {
|
||||||
let ret = self.required_visibility == ty::Visibility::Public
|
let ret = self.required_visibility.is_public() && self.tcx.is_private_dep(item_id.krate);
|
||||||
&& self.tcx.is_private_dep(item_id.krate);
|
|
||||||
|
|
||||||
tracing::debug!("leaks_private_dep(item_id={:?})={}", item_id, ret);
|
tracing::debug!("leaks_private_dep(item_id={:?})={}", item_id, ret);
|
||||||
ret
|
ret
|
||||||
|
|
|
@ -32,7 +32,6 @@ use rustc_ast::visit::{self, Visitor};
|
||||||
use rustc_ast_lowering::ResolverAstLowering;
|
use rustc_ast_lowering::ResolverAstLowering;
|
||||||
use rustc_data_structures::fx::FxHashSet;
|
use rustc_data_structures::fx::FxHashSet;
|
||||||
use rustc_errors::pluralize;
|
use rustc_errors::pluralize;
|
||||||
use rustc_middle::ty;
|
|
||||||
use rustc_session::lint::builtin::{MACRO_USE_EXTERN_CRATE, UNUSED_IMPORTS};
|
use rustc_session::lint::builtin::{MACRO_USE_EXTERN_CRATE, UNUSED_IMPORTS};
|
||||||
use rustc_session::lint::BuiltinLintDiagnostics;
|
use rustc_session::lint::BuiltinLintDiagnostics;
|
||||||
use rustc_span::{MultiSpan, Span, DUMMY_SP};
|
use rustc_span::{MultiSpan, Span, DUMMY_SP};
|
||||||
|
@ -228,7 +227,7 @@ impl Resolver<'_> {
|
||||||
for import in self.potentially_unused_imports.iter() {
|
for import in self.potentially_unused_imports.iter() {
|
||||||
match import.kind {
|
match import.kind {
|
||||||
_ if import.used.get()
|
_ if import.used.get()
|
||||||
|| import.vis.get() == ty::Visibility::Public
|
|| import.vis.get().is_public()
|
||||||
|| import.span.is_dummy() =>
|
|| import.span.is_dummy() =>
|
||||||
{
|
{
|
||||||
if let ImportKind::MacroUse = import.kind {
|
if let ImportKind::MacroUse = import.kind {
|
||||||
|
|
|
@ -11,7 +11,7 @@ use rustc_hir::def::{self, CtorKind, CtorOf, DefKind, NonMacroAttrKind};
|
||||||
use rustc_hir::def_id::{DefId, CRATE_DEF_INDEX, LOCAL_CRATE};
|
use rustc_hir::def_id::{DefId, CRATE_DEF_INDEX, LOCAL_CRATE};
|
||||||
use rustc_hir::PrimTy;
|
use rustc_hir::PrimTy;
|
||||||
use rustc_middle::bug;
|
use rustc_middle::bug;
|
||||||
use rustc_middle::ty::{self, DefIdTree};
|
use rustc_middle::ty::DefIdTree;
|
||||||
use rustc_session::Session;
|
use rustc_session::Session;
|
||||||
use rustc_span::hygiene::MacroKind;
|
use rustc_span::hygiene::MacroKind;
|
||||||
use rustc_span::lev_distance::find_best_match_for_name;
|
use rustc_span::lev_distance::find_best_match_for_name;
|
||||||
|
@ -1308,7 +1308,7 @@ impl<'a> Resolver<'a> {
|
||||||
);
|
);
|
||||||
let def_span = self.session.source_map().guess_head_span(binding.span);
|
let def_span = self.session.source_map().guess_head_span(binding.span);
|
||||||
let mut note_span = MultiSpan::from_span(def_span);
|
let mut note_span = MultiSpan::from_span(def_span);
|
||||||
if !first && binding.vis == ty::Visibility::Public {
|
if !first && binding.vis.is_public() {
|
||||||
note_span.push_span_label(def_span, "consider importing it directly".into());
|
note_span.push_span_label(def_span, "consider importing it directly".into());
|
||||||
}
|
}
|
||||||
err.span_note(note_span, &msg);
|
err.span_note(note_span, &msg);
|
||||||
|
|
|
@ -164,7 +164,7 @@ fn pub_use_of_private_extern_crate_hack(import: &Import<'_>, binding: &NameBindi
|
||||||
import: Import { kind: ImportKind::ExternCrate { .. }, .. },
|
import: Import { kind: ImportKind::ExternCrate { .. }, .. },
|
||||||
..
|
..
|
||||||
},
|
},
|
||||||
) => import.vis.get() == ty::Visibility::Public,
|
) => import.vis.get().is_public(),
|
||||||
_ => false,
|
_ => false,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -35,14 +35,11 @@ use rustc_hir::{ExprKind, QPath};
|
||||||
use rustc_infer::infer;
|
use rustc_infer::infer;
|
||||||
use rustc_infer::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind};
|
use rustc_infer::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind};
|
||||||
use rustc_infer::infer::InferOk;
|
use rustc_infer::infer::InferOk;
|
||||||
use rustc_middle::ty;
|
|
||||||
use rustc_middle::ty::adjustment::{Adjust, Adjustment, AllowTwoPhase};
|
use rustc_middle::ty::adjustment::{Adjust, Adjustment, AllowTwoPhase};
|
||||||
use rustc_middle::ty::error::TypeError::{FieldMisMatch, Sorts};
|
use rustc_middle::ty::error::TypeError::{FieldMisMatch, Sorts};
|
||||||
use rustc_middle::ty::relate::expected_found_bool;
|
use rustc_middle::ty::relate::expected_found_bool;
|
||||||
use rustc_middle::ty::subst::SubstsRef;
|
use rustc_middle::ty::subst::SubstsRef;
|
||||||
use rustc_middle::ty::Ty;
|
use rustc_middle::ty::{self, AdtKind, Ty, TypeFoldable};
|
||||||
use rustc_middle::ty::TypeFoldable;
|
|
||||||
use rustc_middle::ty::{AdtKind, Visibility};
|
|
||||||
use rustc_session::parse::feature_err;
|
use rustc_session::parse::feature_err;
|
||||||
use rustc_span::edition::LATEST_STABLE_EDITION;
|
use rustc_span::edition::LATEST_STABLE_EDITION;
|
||||||
use rustc_span::hygiene::DesugaringKind;
|
use rustc_span::hygiene::DesugaringKind;
|
||||||
|
@ -1732,7 +1729,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
|
||||||
.filter_map(|field| {
|
.filter_map(|field| {
|
||||||
// ignore already set fields and private fields from non-local crates
|
// ignore already set fields and private fields from non-local crates
|
||||||
if skip.iter().any(|&x| x == field.ident.name)
|
if skip.iter().any(|&x| x == field.ident.name)
|
||||||
|| (!variant.def_id.is_local() && field.vis != Visibility::Public)
|
|| (!variant.def_id.is_local() && !field.vis.is_public())
|
||||||
{
|
{
|
||||||
None
|
None
|
||||||
} else {
|
} else {
|
||||||
|
|
|
@ -1410,7 +1410,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
// We only want to suggest public or local traits (#45781).
|
// We only want to suggest public or local traits (#45781).
|
||||||
item.vis == ty::Visibility::Public || info.def_id.is_local()
|
item.vis.is_public() || info.def_id.is_local()
|
||||||
})
|
})
|
||||||
.is_some()
|
.is_some()
|
||||||
})
|
})
|
||||||
|
|
|
@ -435,7 +435,7 @@ crate fn build_impl(
|
||||||
tcx.associated_items(did)
|
tcx.associated_items(did)
|
||||||
.in_definition_order()
|
.in_definition_order()
|
||||||
.filter_map(|item| {
|
.filter_map(|item| {
|
||||||
if associated_trait.is_some() || item.vis == ty::Visibility::Public {
|
if associated_trait.is_some() || item.vis.is_public() {
|
||||||
Some(item.clean(cx))
|
Some(item.clean(cx))
|
||||||
} else {
|
} else {
|
||||||
None
|
None
|
||||||
|
@ -515,7 +515,7 @@ fn build_module(
|
||||||
// two namespaces, so the target may be listed twice. Make sure we only
|
// two namespaces, so the target may be listed twice. Make sure we only
|
||||||
// visit each node at most once.
|
// visit each node at most once.
|
||||||
for &item in cx.tcx.item_children(did).iter() {
|
for &item in cx.tcx.item_children(did).iter() {
|
||||||
if item.vis == ty::Visibility::Public {
|
if item.vis.is_public() {
|
||||||
let res = item.res.expect_non_local();
|
let res = item.res.expect_non_local();
|
||||||
if let Some(def_id) = res.mod_def_id() {
|
if let Some(def_id) = res.mod_def_id() {
|
||||||
if did == def_id || !visited.insert(def_id) {
|
if did == def_id || !visited.insert(def_id) {
|
||||||
|
|
|
@ -2,7 +2,7 @@ use rustc_data_structures::fx::FxHashSet;
|
||||||
use rustc_hir::def::{DefKind, Res};
|
use rustc_hir::def::{DefKind, Res};
|
||||||
use rustc_hir::def_id::{CrateNum, DefId, CRATE_DEF_INDEX};
|
use rustc_hir::def_id::{CrateNum, DefId, CRATE_DEF_INDEX};
|
||||||
use rustc_middle::middle::privacy::{AccessLevel, AccessLevels};
|
use rustc_middle::middle::privacy::{AccessLevel, AccessLevels};
|
||||||
use rustc_middle::ty::{TyCtxt, Visibility};
|
use rustc_middle::ty::TyCtxt;
|
||||||
use rustc_span::symbol::sym;
|
use rustc_span::symbol::sym;
|
||||||
|
|
||||||
use crate::clean::{AttributesExt, NestedAttributesExt};
|
use crate::clean::{AttributesExt, NestedAttributesExt};
|
||||||
|
@ -59,7 +59,7 @@ impl<'a, 'tcx> LibEmbargoVisitor<'a, 'tcx> {
|
||||||
for item in self.tcx.item_children(def_id).iter() {
|
for item in self.tcx.item_children(def_id).iter() {
|
||||||
if let Some(def_id) = item.res.opt_def_id() {
|
if let Some(def_id) = item.res.opt_def_id() {
|
||||||
if self.tcx.def_key(def_id).parent.map_or(false, |d| d == def_id.index)
|
if self.tcx.def_key(def_id).parent.map_or(false, |d| d == def_id.index)
|
||||||
|| item.vis == Visibility::Public
|
|| item.vis.is_public()
|
||||||
{
|
{
|
||||||
self.visit_item(item.res);
|
self.visit_item(item.res);
|
||||||
}
|
}
|
||||||
|
@ -70,7 +70,7 @@ impl<'a, 'tcx> LibEmbargoVisitor<'a, 'tcx> {
|
||||||
fn visit_item(&mut self, res: Res<!>) {
|
fn visit_item(&mut self, res: Res<!>) {
|
||||||
let def_id = res.def_id();
|
let def_id = res.def_id();
|
||||||
let vis = self.tcx.visibility(def_id);
|
let vis = self.tcx.visibility(def_id);
|
||||||
let inherited_item_level = if vis == Visibility::Public { self.prev_level } else { None };
|
let inherited_item_level = if vis.is_public() { self.prev_level } else { None };
|
||||||
|
|
||||||
let item_level = self.update(def_id, inherited_item_level);
|
let item_level = self.update(def_id, inherited_item_level);
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue