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