Struct SearchInterfaceForPrivateItemsVisitor

pub(crate) struct SearchInterfaceForPrivateItemsVisitor<'tcx> {
    pub(crate) tcx: TyCtxt<'tcx>,
    pub(crate) item_def_id: LocalDefId,
    pub(crate) required_visibility: Visibility,
    pub(crate) required_effective_vis: Option<EffectiveVisibility>,
    pub(crate) in_assoc_ty: bool,
    pub(crate) in_primary_interface: bool,
}

SearchInterfaceForPrivateItemsVisitor traverses an item’s interface and finds any private components in it. PrivateItemsInPublicInterfacesVisitor ensures there are no private types and traits in public interfaces.

Fields

tcx: TyCtxt<'tcx>

item_def_id: LocalDefId

required_visibility: Visibility

The visitor checks that each component type is at least this visible.

required_effective_vis: Option<EffectiveVisibility>

in_assoc_ty: bool

in_primary_interface: bool

Implementations

impl SearchInterfaceForPrivateItemsVisitor<'_>

pub(crate) fn generics(&mut self) -> &mut Self

pub(crate) fn predicates(&mut self) -> &mut Self

pub(crate) fn bounds(&mut self) -> &mut Self

pub(crate) fn ty(&mut self) -> &mut Self

pub(crate) fn check_def_id( &mut self, def_id: DefId, kind: &str, descr: &dyn Display, ) -> bool

pub(crate) fn leaks_private_dep(&self, item_id: DefId) -> bool

An item is ‘leaked’ from a private dependency if all of the following are true:

1. It’s contained within a public type
2. It comes from a private crate

Trait Implementations

impl<'tcx> DefIdVisitor<'tcx> for SearchInterfaceForPrivateItemsVisitor<'tcx>

type Result = ControlFlow<()>

fn tcx(&self) -> TyCtxt<'tcx>

fn visit_def_id( &mut self, def_id: DefId, kind: &str, descr: &dyn Display, ) -> Self::Result

const SHALLOW: bool = false

const SKIP_ASSOC_TYS: bool = false

fn skeleton(&mut self) -> DefIdVisitorSkeleton<'_, 'tcx, Self>

Not overridden, but used to actually visit types and traits.

fn visit( &mut self, ty_fragment: impl TypeVisitable<TyCtxt<'tcx>>, ) -> Self::Result

fn visit_trait(&mut self, trait_ref: TraitRef<'tcx>) -> Self::Result

fn visit_predicates( &mut self, predicates: GenericPredicates<'tcx>, ) -> Self::Result

fn visit_clauses(&mut self, clauses: &[(Clause<'tcx>, Span)]) -> Self::Result

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 40 bytes