Crate rustc_privacy

Modules§

DefIdVisitorSkeleton
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.

DEFAULT_LOCALE_RESOURCE: Raw content of Fluent resource for this crate, generated by fluent_messages macro, imported by rustc_driver to include all crates’ resources in one bundle.

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://github.com/rust-lang/rfcs/blob/master/text/2145-type-privacy.md#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 🔒