[−][src]Type Definition rustc_ap_rustc_data_structures::unify::InPlaceUnificationTable
type InPlaceUnificationTable<K, V = Vec<VarValue<K>>, L = VecLog<UndoLog<Delegate<K>>>> where
K: UnifyKey,
V: VecLike<Delegate<K>>, = UnificationTable<InPlace<K, V, L>>;
A unification table that uses an "in-place" vector.