Struct rustc_privacy::ReachEverythingInTheInterfaceVisitor

pub(crate) struct ReachEverythingInTheInterfaceVisitor<'a, 'tcx> {
    access_level: Option<AccessLevel>,
    item_def_id: DefId,
    ev: &'a mut EmbargoVisitor<'tcx>,
}

Fields

access_level: Option<AccessLevel>

item_def_id: DefId

ev: &'a mut EmbargoVisitor<'tcx>

Implementations

impl<'_, 'tcx> ReachEverythingInTheInterfaceVisitor<'_, 'tcx>

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

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

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

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

Trait Implementations

impl<'tcx, '_> DefIdVisitor<'tcx> for ReachEverythingInTheInterfaceVisitor<'_, 'tcx>

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

pub(crate) fn visit_def_id(
    &mut self,
    def_id: DefId,
    _kind: &str,
    _descr: &dyn Display
) -> ControlFlow<Self::BreakTy>

type BreakTy = ()

pub(crate) fn shallow(&self) -> bool

pub(crate) fn skip_assoc_tys(&self) -> bool

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

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

pub(crate) fn visit(
    &mut self,
    ty_fragment: impl TypeFoldable<'tcx>
) -> ControlFlow<Self::BreakTy>

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

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