Struct rustc_privacy::DefIdVisitorSkeleton

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

Fields

def_id_visitor: &'v mut V

visited_opaque_tys: FxHashSet<DefId>

dummy: PhantomData<TyCtxt<'tcx>>

Implementations

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

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

pub(crate) fn visit_projection_ty(
    &mut self,
    projection: ProjectionTy<'tcx>
) -> ControlFlow<V::BreakTy>

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

pub(crate) fn visit_abstract_const_expr(
    &mut self,
    tcx: TyCtxt<'tcx>,
    ct: AbstractConst<'tcx>
) -> ControlFlow<V::BreakTy>

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

Trait Implementations

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

type BreakTy = V::BreakTy

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

Supplies the tcx for an unevaluated anonymous constant in case its default substs are not yet supplied.

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

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

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

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

fn visit_unevaluated_const(
    &mut self,
    uv: Unevaluated<Option<Promoted>>
) -> ControlFlow<Self::BreakTy, ()>

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

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.