Anonymous: > arg 必须得是 U1_1 和 U1_2 共同的父类型 是不是笔误了，在逆变位置，应该推断出 `U1_1` 和 `U1_2` 的子类型，即 `intersection type` (U1_1 & U1_2) [Type inference in conditional types](https://github.com/Microsoft/TypeScript/pull/21496)

Anonymous commented on post 🤸🏻 记一次类型体操与其实战应用: > arg 必须得是 U1_1 和 U1_2 共同的父类型是不是笔误了，在逆变位置，应该推断出 `U1_1` 和 `U1_2` 的子类型，即 `intersection type` (U1_1 & U1_2) [Type inference in conditional types](https://github.com/Microsoft/TypeScript/pull/21496)