Skip to main content Crate rustc_privacy Copy item path Source pub(crate) use diagnostics::FieldIsPrivate ; 🔒 pub(crate) use diagnostics::FieldIsPrivateLabel ; 🔒 pub(crate) use diagnostics::FromPrivateDependencyInPublicInterface ; 🔒 pub(crate) use diagnostics::InPublicInterface ; 🔒 pub(crate) use diagnostics::ItemIsPrivate ; 🔒 pub(crate) use diagnostics::PrivateInterfacesOrBoundsLint ; 🔒 pub(crate) use diagnostics::ReportEffectiveVisibility ; 🔒 pub(crate) use diagnostics::UnnameableTypesLint ; 🔒 pub(crate) use diagnostics::UnnamedItemIsPrivate ; 🔒 pub(crate) use rustc_middle::ty::print::PrintTraitRefExt as _; 🔒 pub(crate) use std::marker::PhantomData ; 🔒 pub(crate) use std::ops::ControlFlow ; 🔒 pub(crate) use debug_assert_matches ; 🔒 pub(crate) use fmt ; 🔒 pub(crate) use VisitorResult ; 🔒 pub(crate) use try_visit ; 🔒 pub(crate) use rustc_attr_ir::find_attr ; 🔒 pub(crate) use FxHashMap ; 🔒 pub(crate) use FxHashSet ; 🔒 pub(crate) use rustc_data_structures::indexmap::IndexSet ; 🔒 pub(crate) use rustc_data_structures::intern::Interned ; 🔒 pub(crate) use MultiSpan ; 🔒 pub(crate) use listify ; 🔒 pub(crate) use CtorOf ; 🔒 pub(crate) use DefKind ; 🔒 pub(crate) use Res ; 🔒 pub(crate) use DefId ; 🔒 pub(crate) use LocalDefId ; 🔒 pub(crate) use LocalModId ; 🔒 pub(crate) use self ; 🔒 pub(crate) use InferKind ; 🔒 pub(crate) use Visitor ; 🔒 pub(crate) use self as hir; 🔒 pub(crate) use AmbigArg ; 🔒 pub(crate) use ForeignItemId ; 🔒 pub(crate) use ItemId ; 🔒 pub(crate) use OwnerId ; 🔒 pub(crate) use PatKind ; 🔒 pub(crate) use EXPORTED_PRIVATE_DEPENDENCIES ; 🔒 pub(crate) use PRIVATE_BOUNDS ; 🔒 pub(crate) use PRIVATE_INTERFACES ; 🔒 pub(crate) use UNNAMEABLE_TYPES ; 🔒 pub(crate) use EffectiveVisibilities ; 🔒 pub(crate) use EffectiveVisibility ; 🔒 pub(crate) use Level ; 🔒 pub(crate) use rustc_middle::query::Providers ; 🔒 pub(crate) use self ; 🔒 pub(crate) use AssocContainer ; 🔒 pub(crate) use Const ; 🔒 pub(crate) use GenericParamDefKind ; 🔒 pub(crate) use PredicateProxy ; 🔒 pub(crate) use TraitRef ; 🔒 pub(crate) use Ty ; 🔒 pub(crate) use TyCtxt ; 🔒 pub(crate) use TypeSuperVisitable ; 🔒 pub(crate) use TypeVisitable ; 🔒 pub(crate) use TypeVisitor ; 🔒 pub(crate) use Ident ; 🔒 pub(crate) use Span ; 🔒 pub(crate) use Symbol ; 🔒 pub(crate) use bug ; 🔒 pub(crate) use kw ; 🔒 pub(crate) use span_bug ; 🔒 pub(crate) use sym ; 🔒 pub(crate) use tracing::debug ; 🔒 diagnostics 🔒 DefIdVisitorSkeleton DefIdsToImplsCollector 🔒 Visitor that collects correspondence map between defs and
enclosing impls. EmbargoVisitor 🔒 The embargo visitor, used to determine the exports of the AST. FindMin 🔒 Visitor used to determine impl visibility and reachability. LazyDefPathStr 🔒 NamePrivacyVisitor 🔒 Name privacy visitor, checks privacy and reports violations. PrivateItemsInPublicInterfacesChecker 🔒 ReachEverythingInTheInterfaceVisitor 🔒 SearchInterfaceForPrivateItemsVisitor 🔒 SearchInterfaceForPrivateItemsVisitor traverses an item’s interface and
finds any private components in it. TestReachabilityVisitor Visitor, used for EffectiveVisibilities table checking TypePrivacyVisitor 🔒 Type privacy visitor, checks types for privacy and reports violations. DefIdVisitor Implemented to visit all DefIds in a type.
Visiting DefIds is useful because visibilities and reachabilities are attached to them.
The idea is to visit “all components of a type”, as documented in
https://rust-lang.github.io/rfcs/2145-type-privacy.html#how-to-determine-visibility-of-a-type .
The default type visitor (TypeVisitor) does most of the job, but it has some shortcomings.
First, it doesn’t have overridable fn visit_trait_ref, so we have to catch trait DefIds
manually. Second, it doesn’t visit some type components like signatures of fn types, or traits
in impl Trait, see individual comments in DefIdVisitorSkeleton::visit_ty. VisibilityLike 🔒 assoc_has_type_of 🔒 check_mod_privacy 🔒 check_private_in_public 🔒 effective_visibilities 🔒 min 🔒 provide DefIdsToImpls 🔒