Type Definition rustc_data_structures::unify::InPlaceUnificationTable[][src]

type InPlaceUnificationTable<K> = UnificationTable<InPlace<K>>;

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