Struct rustc_privacy::DefIdVisitorSkeleton

pub(crate) struct DefIdVisitorSkeleton<'v, 'tcx, V: ?Sized> {
    def_id_visitor: &'v mut V,
    visited_opaque_tys: FxHashSet<DefId>,
    dummy: PhantomData<TyCtxt<'tcx>>,
}

Fields

def_id_visitor: &'v mut V

visited_opaque_tys: FxHashSet<DefId>

dummy: PhantomData<TyCtxt<'tcx>>

Implementations

impl<'tcx, V: ?Sized, '_> DefIdVisitorSkeleton<'_, 'tcx, V> where
    V: DefIdVisitor<'tcx>, 

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

pub(crate) fn visit_predicate(
    &mut self,
    predicate: Predicate<'tcx>
) -> ControlFlow<V::BreakTy>

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

Trait Implementations

impl<'tcx, V: ?Sized, '_> TypeVisitor<'tcx> for DefIdVisitorSkeleton<'_, 'tcx, V> where
    V: DefIdVisitor<'tcx>, 

type BreakTy = V::BreakTy

pub fn visit_ty(&mut self, ty: Ty<'tcx>) -> ControlFlow<V::BreakTy>

pub fn visit_binder<T>(
    &mut self,
    t: &Binder<T>
) -> ControlFlow<Self::BreakTy, ()> where
    T: TypeFoldable<'tcx>, 

pub fn visit_region(
    &mut self,
    r: &'tcx RegionKind
) -> ControlFlow<Self::BreakTy, ()>

pub fn visit_const(
    &mut self,
    c: &'tcx Const<'tcx>
) -> ControlFlow<Self::BreakTy, ()>

pub fn visit_predicate(
    &mut self,
    p: Predicate<'tcx>
) -> ControlFlow<Self::BreakTy, ()>