Type Alias rustc_data_structures::unify::InPlaceUnificationTable

source ·
pub type InPlaceUnificationTable<K, V = Vec<VarValue<K>>, 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>>, L = VecLog<UndoLog<Delegate<K>>>>
where K: UnifyKey, V: VecLike<Delegate<K>>,
{ /* private fields */ }

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.