Struct rustc_privacy::DefIdVisitorSkeleton
source · pub 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§
source§impl<'tcx, V> DefIdVisitorSkeleton<'_, 'tcx, V>where
V: DefIdVisitor<'tcx> + ?Sized,
impl<'tcx, V> DefIdVisitorSkeleton<'_, 'tcx, V>where
V: DefIdVisitor<'tcx> + ?Sized,
pub(crate) fn visit_trait(&mut self, trait_ref: TraitRef<'tcx>) -> V::Result
pub(crate) fn visit_projection_ty( &mut self, projection: AliasTy<'tcx> ) -> V::Result
pub(crate) fn visit_clause(&mut self, clause: Clause<'tcx>) -> V::Result
pub(crate) fn visit_clauses( &mut self, clauses: &[(Clause<'tcx>, Span)] ) -> V::Result
Trait Implementations§
source§impl<'tcx, V> TypeVisitor<TyCtxt<'tcx>> for DefIdVisitorSkeleton<'_, 'tcx, V>where
V: DefIdVisitor<'tcx> + ?Sized,
impl<'tcx, V> TypeVisitor<TyCtxt<'tcx>> for DefIdVisitorSkeleton<'_, 'tcx, V>where
V: DefIdVisitor<'tcx> + ?Sized,
type Result = <V as DefIdVisitor<'tcx>>::Result
fn visit_predicate(&mut self, p: Predicate<'tcx>) -> Self::Result
fn visit_ty(&mut self, ty: Ty<'tcx>) -> Self::Result
fn visit_const(&mut self, c: Const<'tcx>) -> Self::Result
fn visit_binder<T>(&mut self, t: &<I as Interner>::Binder<T>) -> Self::Resultwhere
T: TypeVisitable<I>,
fn visit_region(&mut self, _r: <I as Interner>::Region) -> Self::Result
Auto Trait Implementations§
impl<'v, 'tcx, V: ?Sized> DynSend for DefIdVisitorSkeleton<'v, 'tcx, V>where
V: DynSend,
impl<'v, 'tcx, V: ?Sized> DynSync for DefIdVisitorSkeleton<'v, 'tcx, V>where
V: DynSync,
impl<'v, 'tcx, V: ?Sized> Freeze for DefIdVisitorSkeleton<'v, 'tcx, V>
impl<'v, 'tcx, V> !RefUnwindSafe for DefIdVisitorSkeleton<'v, 'tcx, V>
impl<'v, 'tcx, V> !Send for DefIdVisitorSkeleton<'v, 'tcx, V>
impl<'v, 'tcx, V> !Sync for DefIdVisitorSkeleton<'v, 'tcx, V>
impl<'v, 'tcx, V: ?Sized> Unpin for DefIdVisitorSkeleton<'v, 'tcx, V>
impl<'v, 'tcx, V> !UnwindSafe for DefIdVisitorSkeleton<'v, 'tcx, V>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<T> Filterable for T
impl<T> Filterable for T
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
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.