Struct Canonicalizer

source

pub struct Canonicalizer<'a, D: SolverDelegate<Interner = I>, I: Interner> {
    delegate: &'a D,
    canonicalize_mode: CanonicalizeMode,
    variables: &'a mut Vec<I::GenericArg>,
    primitive_var_infos: Vec<CanonicalVarInfo<I>>,
    variable_lookup_table: HashMap<I::GenericArg, usize>,
    binder_index: DebruijnIndex,
    cache: HashMap<(DebruijnIndex, I::Ty), I::Ty>,
}

Fields§

§delegate: &'a D§canonicalize_mode: CanonicalizeMode§variables: &'a mut Vec<I::GenericArg>§primitive_var_infos: Vec<CanonicalVarInfo>§variable_lookup_table: HashMap<I::GenericArg, usize>§binder_index: DebruijnIndex§cache: HashMap<(DebruijnIndex, I::Ty), I::Ty>

We only use the debruijn index during lookup. We don’t need to track the variables as each generic arg only results in a single bound variable regardless of how many times it is encountered.

Struct CanonicalizerCopy item path

Fields§

Implementations§

impl<'a, D: SolverDelegate<Interner = I>, I: Interner> Canonicalizer<'a, D, I>

pub fn canonicalize<T: TypeFoldable<I>>( delegate: &'a D, canonicalize_mode: CanonicalizeMode, variables: &'a mut Vec<I::GenericArg>, value: T, ) -> Canonical<I, T>

fn get_or_insert_bound_var( &mut self, arg: impl Into<I::GenericArg>, canonical_var_info: CanonicalVarInfo<I>, ) -> BoundVar

fn finalize(self) -> (UniverseIndex, I::CanonicalVars)

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

Trait Implementations§

impl<D: SolverDelegate<Interner = I>, I: Interner> TypeFolder<I> for Canonicalizer<'_, D, I>

fn cx(&self) -> I

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

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

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

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

fn fold_predicate( &mut self, p: <I as Interner>::Predicate, ) -> <I as Interner>::Predicate

Auto Trait Implementations§

impl<'a, D, I> Freeze for Canonicalizer<'a, D, I>where <D as Deref>::Target: Sized,

impl<'a, D, I> Send for Canonicalizer<'a, D, I>where <D as Deref>::Target: Sized, D: Sync, <I as Interner>::GenericArg: Send, <I as Interner>::Ty: Send, <I as Interner>::PlaceholderTy: Send, <I as Interner>::PlaceholderRegion: Send, <I as Interner>::PlaceholderConst: Send,

impl<'a, D, I> Sync for Canonicalizer<'a, D, I>where <D as Deref>::Target: Sized, D: Sync, <I as Interner>::GenericArg: Sync, <I as Interner>::Ty: Sync, <I as Interner>::PlaceholderTy: Sync, <I as Interner>::PlaceholderRegion: Sync, <I as Interner>::PlaceholderConst: Sync,

impl<'a, D, I> Unpin for Canonicalizer<'a, D, I>where <D as Deref>::Target: Sized, <I as Interner>::PlaceholderTy: Unpin, <I as Interner>::PlaceholderRegion: Unpin, <I as Interner>::PlaceholderConst: Unpin, <I as Interner>::GenericArg: Unpin, <I as Interner>::Ty: Unpin,

impl<'a, D, I> !UnwindSafe for Canonicalizer<'a, D, I>

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<I, F> FallibleTypeFolder<I> for Fwhere I: Interner, F: TypeFolder<I>,

type Error = !

fn cx(&self) -> I

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

fn try_fold_ty( &mut self, t: <I as Interner>::Ty, ) -> Result<<I as Interner>::Ty, !>

fn try_fold_region( &mut self, r: <I as Interner>::Region, ) -> Result<<I as Interner>::Region, !>

fn try_fold_const( &mut self, c: <I as Interner>::Const, ) -> Result<<I as Interner>::Const, !>

fn try_fold_predicate( &mut self, p: <I as Interner>::Predicate, ) -> Result<<I as Interner>::Predicate, !>

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> Same for T

type Output = 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<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<T> WithSubscriber for T

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

fn with_current_subscriber(self) -> WithDispatch<Self>

impl<'a, T> Captures<'a> for Twhere T: ?Sized,

Layout§

Struct Canonicalizer

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

impl<'a, D, I> Freeze for Canonicalizer<'a, D, I>
where <D as Deref>::Target: Sized,

impl<'a, D, I> Send for Canonicalizer<'a, D, I>
where <D as Deref>::Target: Sized, D: Sync, <I as Interner>::GenericArg: Send, <I as Interner>::Ty: Send, <I as Interner>::PlaceholderTy: Send, <I as Interner>::PlaceholderRegion: Send, <I as Interner>::PlaceholderConst: Send,

impl<'a, D, I> Sync for Canonicalizer<'a, D, I>
where <D as Deref>::Target: Sized, D: Sync, <I as Interner>::GenericArg: Sync, <I as Interner>::Ty: Sync, <I as Interner>::PlaceholderTy: Sync, <I as Interner>::PlaceholderRegion: Sync, <I as Interner>::PlaceholderConst: Sync,

impl<'a, D, I> Unpin for Canonicalizer<'a, D, I>
where <D as Deref>::Target: Sized, <I as Interner>::PlaceholderTy: Unpin, <I as Interner>::PlaceholderRegion: Unpin, <I as Interner>::PlaceholderConst: Unpin, <I as Interner>::GenericArg: Unpin, <I as Interner>::Ty: Unpin,

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<I, F> FallibleTypeFolder<I> for F
where I: Interner, F: TypeFolder<I>,

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

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>,

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

impl<'a, T> Captures<'a> for T
where T: ?Sized,