Type Definition rustc_infer::infer::UnificationTable

type UnificationTable<'a, 'tcx, T> = UnificationTable<InPlace<T, &'a mut UnificationStorage<T>, &'a mut InferCtxtUndoLogs<'tcx>>>;