Type Definition UnificationStorage
rustc_ap_rustc_data_structures::unify
type UnificationStorage<K> = Vec<VarValue<K>, Global>;