Trait rustc_data_structures::unify::UnificationStoreBase

pub trait UnificationStoreBase: Index<usize, Output = VarValue<Self::Key>> {
    type Key: UnifyKey
   where
        <Self::Key as UnifyKey>::Value == Self::Value;
    type Value: UnifyValue;

    fn len(&self) -> usize;

    fn tag() -> &'static str { ... }
}

Largely internal trait implemented by the unification table backing store types. The most common such type is InPlace, which indicates a standard, mutable unification table.

Required Associated Types

type Key: UnifyKey
where
    <Self::Key as UnifyKey>::Value == Self::Value

type Value: UnifyValue

Required Methods

fn len(&self) -> usize

Provided Methods

fn tag() -> &'static str

Implementors