Struct rustc_data_structures::unify::UnificationTable

pub struct UnificationTable<S> where
    S: UnificationStoreBase,  {
    pub(in unify) values: S,
}

Table of unification keys and their values. You must define a key type K that implements the UnifyKey trait. Unification tables can be used in two-modes:

• in-place (UnificationTable<InPlace<K>> or InPlaceUnificationTable<K>):
  • This is the standard mutable mode, where the array is modified in place.
  • To do backtracking, you can employ the snapshot and rollback_to methods.
• persistent (UnificationTable<Persistent<K>> or PersistentUnificationTable<K>):
  • In this mode, we use a persistent vector to store the data, so that cloning the table is an O(1) operation.
  • This implies that ordinary operations are quite a bit slower though.
  • Requires the persistent feature be selected in your Cargo.toml file.

Fields

values: S

Indicates the current value of each key.