UnificationStoreBase in rustc_data_structures::unify - Rust (original) (raw)

Trait UnificationStoreBase

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

    // Required method
    fn len(&self) -> usize;

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

Expand description

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.

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.