Type Definition rustc_data_structures::unify::InPlaceUnificationTable

type InPlaceUnificationTable<K> where
    K: UnifyKey,  = UnificationTable<InPlace<K>>;

A unification table that uses an "in-place" vector.