Conditional Types

Conditional types enable type-level branching. The syntax T extends U ? X : Y checks if T is assignable to U. Combined with infer keyword, they extract types from complex structures. Distributive conditional types map over unions. They power most advanced utility types under the hood.