Struct CanonicalizerState 

pub struct CanonicalizerState<I: Interner> {
    pub variables: ThinVec<I::GenericArg>,
    pub var_kinds: Vec<CanonicalVarKind<I>>,
    pub variable_lookup_table: HashMap<I::GenericArg, usize>,
    pub sub_root_lookup_table: HashMap<TyVid, usize>,
    pub cache: DelayedMap<I::Ty, I::Ty>,
}

State used and modified by a canonicalizer during canonicalization. To avoid many allocations, this state is reused by many canonicalizers from a single InferCtxt.

Fields

variables: ThinVec<I::GenericArg>

var_kinds: Vec<CanonicalVarKind<I>>

variable_lookup_table: HashMap<I::GenericArg, usize>

sub_root_lookup_table: HashMap<TyVid, usize>

Maps each sub_unification_table_root_var to the index of the first variable which used it.

This means in case two type variables have the same sub relations root, we set the sub_root of the second variable to the position of the first. Otherwise the sub_root of each type variable is just its own position.

cache: DelayedMap<I::Ty, I::Ty>

We can simply cache based on the ty itself, because we use ty::BoundVarIndexKind::Canonical.

Implementations

impl<I: Interner> CanonicalizerState<I>

pub fn clear(&mut self)

Trait Implementations

impl<I> Default for CanonicalizerState<I>

where I: Interner,

fn default() -> Self

Returns the “default value” for a type.

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