Assumetype Assume<T, U> = T extends U ? T : U;§Type Parameters§T[src]§U[src]§Type§T extends U ? T : U[src]