Struct DeepVariableResolver

Source

struct DeepVariableResolver<'a, D, I = I>where
    D: InferCtxtLike<Interner = I>,
    I: Interner,{
    delegate: &'a D,
    cache: DelayedMap<I::Ty, I::Ty>,
}

Fields§

§delegate: &'a D§cache: DelayedMap<I::Ty, I::Ty>

We’re able to use a cache here as the folder does not have any mutable state.

Implementations§

Source §

impl<'a, Infcx: InferCtxtLike> DeepVariableResolver<'a, Infcx>

Source

fn new(delegate: &'a Infcx) -> Self

Trait Implementations§

Source §

impl<Infcx: InferCtxtLike<Interner = I>, I: Interner> TypeFolder for DeepVariableResolver<'_, Infcx>

Source §

fn fold_binder<T>(&mut self, t: Binder<I, T>) -> Binder<I, T>
where T: TypeFoldable,

Auto Trait Implementations§

§

impl<'a, D, I> DynSend for DeepVariableResolver<'a, D, I>
where &'a D: DynSend, DelayedMap<::Ty, ::Ty>: DynSend,

§

impl<'a, D, I> DynSync for DeepVariableResolver<'a, D, I>
where &'a D: DynSync, DelayedMap<::Ty, ::Ty>: DynSync,

§

impl<'a, D, I> Freeze for DeepVariableResolver<'a, D, I>
where &'a D: Freeze, DelayedMap<::Ty, ::Ty>: Freeze,

§

impl<'a, D, I> RefUnwindSafe for DeepVariableResolver<'a, D, I>
where &'a D: RefUnwindSafe, DelayedMap<::Ty, ::Ty>: RefUnwindSafe,

§

impl<'a, D, I> Send for DeepVariableResolver<'a, D, I>
where &'a D: Send, DelayedMap<::Ty, ::Ty>: Send,

§

impl<'a, D, I> Sync for DeepVariableResolver<'a, D, I>
where &'a D: Sync, DelayedMap<::Ty, ::Ty>: Sync,

§

impl<'a, D, I> Unpin for DeepVariableResolver<'a, D, I>
where &'a D: Unpin, DelayedMap<::Ty, ::Ty>: Unpin,

§

impl<'a, D, I> UnsafeUnpin for DeepVariableResolver<'a, D, I>
where &'a D: UnsafeUnpin, DelayedMap<::Ty, ::Ty>: UnsafeUnpin,

§

impl<'a, D, I> UnwindSafe for DeepVariableResolver<'a, D, I>
where &'a D: UnwindSafe, DelayedMap<::Ty, ::Ty>: UnwindSafe,

Blanket Implementations§

Source §

impl<T> Aligned for T

Source §

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

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

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

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

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

Source §

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

Mutably borrows from an owned value. Read more

Source §

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

Source §

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

Equivalent to f(&iter.collect::<Vec<_>>()).

Source §

type Output = R

Source §

impl<T> ErasedDestructor for T
where T: 'static,

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T> Instrument for T

Source §

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

Source §

fn in_current_span(self) -> Instrumented<Self> ⓘ

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Source §

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

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> IntoEither for T

Source §

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

impl<T> Pointable for T

Source §

type Init = T

The type for initializers.

Source §

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

Source §

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

Source §

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

Source §

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

Source §

impl<T> Same for T

Source §

type Output = T

Should always be Self

Source §

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

Source §

type Error = !

The type returned in the event of a conversion error.

Source §

fn try_from(value: U) -> Result<T, !>

Performs the conversion.

Source §

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

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

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

Performs the conversion.

Source §

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

Source §

fn upcast(self, interner: I) -> U

Source §

impl<I, T> UpcastFrom<I, T> for T

Source §

fn upcast_from(from: T, _tcx: I) -> T

Source §

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source §

fn vzip(self) -> V

Source §

impl<T> WithSubscriber for T

Source §

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

Source §

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

Layout§

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: 48 bytes

Struct DeepVariableResolver Copy item path

Fields§

Implementations§

impl<'a, Infcx: InferCtxtLike> DeepVariableResolver<'a, Infcx>

fn new(delegate: &'a Infcx) -> Self

Trait Implementations§

impl<Infcx: InferCtxtLike<Interner = I>, I: Interner> TypeFolder<I> for DeepVariableResolver<'_, Infcx>

fn cx(&self) -> I

fn fold_ty(&mut self, t: I::Ty) -> I::Ty

fn fold_region(&mut self, r: Region<I>) -> Region<I>

fn fold_const(&mut self, c: I::Const) -> I::Const

fn fold_predicate<P: PredicateProxy<I>>(&mut self, p: P) -> P

fn fold_clauses(&mut self, c: I::Clauses) -> I::Clauses

fn fold_binder<T>(&mut self, t: Binder<I, T>) -> Binder<I, T>where T: TypeFoldable<I>,

Auto Trait Implementations§

impl<'a, D, I> DynSend for DeepVariableResolver<'a, D, I>where &'a D: DynSend, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: DynSend,

impl<'a, D, I> DynSync for DeepVariableResolver<'a, D, I>where &'a D: DynSync, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: DynSync,

impl<'a, D, I> Freeze for DeepVariableResolver<'a, D, I>where &'a D: Freeze, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: Freeze,

impl<'a, D, I> RefUnwindSafe for DeepVariableResolver<'a, D, I>where &'a D: RefUnwindSafe, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: RefUnwindSafe,

impl<'a, D, I> Send for DeepVariableResolver<'a, D, I>where &'a D: Send, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: Send,

impl<'a, D, I> Sync for DeepVariableResolver<'a, D, I>where &'a D: Sync, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: Sync,

impl<'a, D, I> Unpin for DeepVariableResolver<'a, D, I>where &'a D: Unpin, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: Unpin,

impl<'a, D, I> UnsafeUnpin for DeepVariableResolver<'a, D, I>where &'a D: UnsafeUnpin, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: UnsafeUnpin,

impl<'a, D, I> UnwindSafe for DeepVariableResolver<'a, D, I>where &'a D: UnwindSafe, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: UnwindSafe,

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment

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

fn type_id(&self) -> TypeId

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> ErasedDestructor for Twhere T: 'static,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

fn in_current_span(self) -> Instrumented<Self> ⓘ

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

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘwhere F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

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

type Error = !

fn try_from(value: U) -> Result<T, !>

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<I, T, U> Upcast<I, U> for Twhere U: UpcastFrom<I, T>,

fn upcast(self, interner: I) -> U

impl<I, T> UpcastFrom<I, T> for T

fn upcast_from(from: T, _tcx: I) -> T

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘwhere S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Layout§

Struct DeepVariableResolver

fn fold_binder<T>(&mut self, t: Binder<I, T>) -> Binder<I, T>
where T: TypeFoldable<I>,

impl<'a, D, I> DynSend for DeepVariableResolver<'a, D, I>
where &'a D: DynSend, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: DynSend,

impl<'a, D, I> DynSync for DeepVariableResolver<'a, D, I>
where &'a D: DynSync, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: DynSync,

impl<'a, D, I> Freeze for DeepVariableResolver<'a, D, I>
where &'a D: Freeze, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: Freeze,

impl<'a, D, I> RefUnwindSafe for DeepVariableResolver<'a, D, I>
where &'a D: RefUnwindSafe, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: RefUnwindSafe,

impl<'a, D, I> Send for DeepVariableResolver<'a, D, I>
where &'a D: Send, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: Send,

impl<'a, D, I> Sync for DeepVariableResolver<'a, D, I>
where &'a D: Sync, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: Sync,

impl<'a, D, I> Unpin for DeepVariableResolver<'a, D, I>
where &'a D: Unpin, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: Unpin,

impl<'a, D, I> UnsafeUnpin for DeepVariableResolver<'a, D, I>
where &'a D: UnsafeUnpin, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: UnsafeUnpin,

impl<'a, D, I> UnwindSafe for DeepVariableResolver<'a, D, I>
where &'a D: UnwindSafe, DelayedMap<<I as Interner>::Ty, <I as Interner>::Ty>: UnwindSafe,

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

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

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

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

impl<T> ErasedDestructor for T
where T: 'static,

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

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

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

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,