Struct rustc_middle::ty::sty::ContainsClosureVisitor

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 0 bytes

Struct rustc_middle::ty::sty::ContainsClosureVisitor

Trait Implementations§

impl<'tcx> TypeVisitor<TyCtxt<'tcx>> for ContainsClosureVisitor

type BreakTy = ()

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

fn visit_binder<T>( &mut self, t: &<I as Interner>::Binder<T> ) -> ControlFlow<Self::BreakTy, ()>where T: TypeVisitable<I>, <I as Interner>::Binder<T>: TypeSuperVisitable<I>,

fn visit_region( &mut self, _r: <I as Interner>::Region ) -> ControlFlow<Self::BreakTy, ()>

Auto Trait Implementations§

impl RefUnwindSafe for ContainsClosureVisitor

impl Send for ContainsClosureVisitor

impl Sync for ContainsClosureVisitor

impl Unpin for ContainsClosureVisitor

impl UnwindSafe for ContainsClosureVisitor

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = Alignment::of::<Self>()

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> AsAny for Twhere T: Any,

fn as_any(&self) -> &(dyn Any + 'static)

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<'tcx, T> ToPredicate<'tcx, T> for T

fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<Tcx, T, D> Value<Tcx, D> for Twhere Tcx: DepContext, D: DepKind,

default fn from_cycle_error(tcx: Tcx, _: &[QueryInfo<D>]) -> T

Layout§