所以我正在阅读有关打字稿的文档，但无法理解这个概念。
所以文档说明：-
在分配条件类型的实例中，T 扩展了 U ? X : Y，在条件类型中对 T 的引用被解析为联合类型的单个成分（即 T 指的是在条件类型分布在联合类型上之后的单个成分）。此外，在 X 中对 T 的引用有一个额外的类型参数约束 U（即 T 被认为可分配给 X 中的 U）。
我无法理解这部分T refers to the individual constituents after the conditional type is distributed over the union type。
任何人都可以向我解释这一点。一个相同的例子将受到高度赞赏，文档中的那个对我来说不是很清楚。
我正在阅读一篇文章：“Unionize 和 Objectify：将条件类型应用于对象的技巧”
在 TypeScript 中，我们最强大的工具是条件类型。这是因为他们有两个独特的能力：
- 他们通过工会进行分配。
- 它们使您能够使用 infer 关键字。
在一般情况下以及在这种情况下，“在工会上分配”意味着什么？