Что такое distributive conditional types?

Distributive conditional types — это поведение условных типов, которые автоматически распределяются по каждому члену union. Если написать T extends U ? X : Y и передать в T union вроде A | B | C, TypeScript применит условие к каждому элементу отдельно и объединит результаты: (A extends U ? X : Y) | (B extends U ? X : Y) | (C extends U ? X : Y). Это работает только когда T — голый (naked) параметр типа.