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,
}
Expand description

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§

source§

impl SearchInterfaceForPrivateItemsVisitor<'_>

source

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

source

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

source

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

source

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

source

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

source

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§

source§

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

source§

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

source§

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

§

type BreakTy = ()

source§

const SHALLOW: bool = false

source§

const SKIP_ASSOC_TYS: bool = false

source§

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

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

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

source§

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

source§

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

source§

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

source§

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

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

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