Struct rustc_privacy::SearchInterfaceForPrivateItemsVisitor

pub(crate) struct SearchInterfaceForPrivateItemsVisitor<'tcx> {
    pub(crate) tcx: TyCtxt<'tcx>,
    pub(crate) item_def_id: LocalDefId,
    pub(crate) required_visibility: Visibility,
    pub(crate) has_old_errors: bool,
    pub(crate) in_assoc_ty: 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.

has_old_errors: bool

in_assoc_ty: 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>

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

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

type BreakTy = ()

fn shallow(&self) -> bool

fn skip_assoc_tys(&self) -> bool

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<'tcx>
) -> ControlFlow<Self::BreakTy>

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

fn visit_projection_ty(
    &mut self,
    projection: AliasTy<'tcx>
) -> ControlFlow<Self::BreakTy>

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

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: 24 bytes