Type Definition rustc_data_structures::unify::InPlaceUnificationTable [−][src]
type InPlaceUnificationTable<K> = UnificationTable<InPlace<K>>;
A unification table that uses an "in-place" vector.
type InPlaceUnificationTable<K> = UnificationTable<InPlace<K>>;
A unification table that uses an "in-place" vector.