Type Definition rustc_data_structures::unify::UnificationTableStorage

type UnificationTableStorage<K> = UnificationTable<InPlace<K, Vec<VarValue<K>, Global>, ()>>;