Announcing Conditional Types
Historical
This post announced conditional types when it was introduced. For current syntax and behavior, see the Conditional Types documentation.
Conditional types allow you to choose between two different output types by inspecting an input type.