Type Alias rustc_data_structures::unify::InPlaceUnificationTable
source · pub type InPlaceUnificationTable<K, V = Vec<VarValue<K>, Global>, L = VecLog<UndoLog<Delegate<K>>>>where
K: UnifyKey,
V: VecLike<Delegate<K>>, = UnificationTable<InPlace<K, V, L>>;
Expand description
A unification table that uses an “in-place” vector.
Aliased Type§
struct InPlaceUnificationTable<K, V = Vec<VarValue<K>, Global>, L = VecLog<UndoLog<Delegate<K>>>>where
K: UnifyKey,
V: VecLike<Delegate<K>>,{
values: InPlace<K, V, L>,
}
Fields§
§values: InPlace<K, V, L>
Layout§
Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.