Struct rustc_privacy::DefIdVisitorSkeleton [−][src]
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 Vvisited_opaque_tys: FxHashSet<DefId>dummy: PhantomData<TyCtxt<'tcx>>Implementations
impl<'tcx, V: ?Sized> DefIdVisitorSkeleton<'_, 'tcx, V> where
V: DefIdVisitor<'tcx>, [src]
impl<'tcx, V: ?Sized> DefIdVisitorSkeleton<'_, 'tcx, V> where
V: DefIdVisitor<'tcx>, [src]pub(crate) fn visit_trait(
&mut self,
trait_ref: TraitRef<'tcx>
) -> ControlFlow<V::BreakTy>[src]
&mut self,
trait_ref: TraitRef<'tcx>
) -> ControlFlow<V::BreakTy>
pub(crate) fn visit_projection_ty(
&mut self,
projection: ProjectionTy<'tcx>
) -> ControlFlow<V::BreakTy>[src]
&mut self,
projection: ProjectionTy<'tcx>
) -> ControlFlow<V::BreakTy>
pub(crate) fn visit_predicate(
&mut self,
predicate: Predicate<'tcx>
) -> ControlFlow<V::BreakTy>[src]
&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>[src]
&mut self,
tcx: TyCtxt<'tcx>,
ct: AbstractConst<'tcx>
) -> ControlFlow<V::BreakTy>
pub(crate) fn visit_predicates(
&mut self,
predicates: GenericPredicates<'tcx>
) -> ControlFlow<V::BreakTy>[src]
&mut self,
predicates: GenericPredicates<'tcx>
) -> ControlFlow<V::BreakTy>
Trait Implementations
impl<'tcx, V: ?Sized> TypeVisitor<'tcx> for DefIdVisitorSkeleton<'_, 'tcx, V> where
V: DefIdVisitor<'tcx>, [src]
impl<'tcx, V: ?Sized> TypeVisitor<'tcx> for DefIdVisitorSkeleton<'_, 'tcx, V> where
V: DefIdVisitor<'tcx>, [src]type BreakTy = V::BreakTy
fn visit_ty(&mut self, ty: Ty<'tcx>) -> ControlFlow<V::BreakTy>[src]
fn visit_const(&mut self, c: &'tcx Const<'tcx>) -> ControlFlow<Self::BreakTy>[src]
fn visit_binder<T>(
&mut self,
t: &Binder<'tcx, T>
) -> ControlFlow<Self::BreakTy, ()> where
T: TypeFoldable<'tcx>, [src]
&mut self,
t: &Binder<'tcx, T>
) -> ControlFlow<Self::BreakTy, ()> where
T: TypeFoldable<'tcx>,
fn visit_region(
&mut self,
r: &'tcx RegionKind
) -> ControlFlow<Self::BreakTy, ()>[src]
&mut self,
r: &'tcx RegionKind
) -> ControlFlow<Self::BreakTy, ()>
fn visit_predicate(
&mut self,
p: Predicate<'tcx>
) -> ControlFlow<Self::BreakTy, ()>[src]
&mut self,
p: Predicate<'tcx>
) -> ControlFlow<Self::BreakTy, ()>