Conditional type

A type expression that selects one result or another by testing assignability with T extends U.