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,
    pub(crate) skip_assoc_tys: 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

skip_assoc_tys: 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 trait_ref(&mut self) -> &mut Self

pub(crate) fn check_def_id( &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 skip_assoc_tys(&self) -> bool

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

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

NOTE: Def-id visiting should be idempotent (or at least produce duplicated errors), because DefIdVisitorSkeleton will use caching and sometimes avoid visiting duplicate def-ids. All the current visitors follow this rule.

const SHALLOW: 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