With TypeScript 5.8, when a function’s return type is a generic conditional type, TypeScript now will use control flow analysis for generic parameters whose types are used in the conditional ...