type SalesOrder<I extends Items, S extends SalesItem<I>> =
Именно!
Жаль, что infer в определении не работает. Хочется что-то типа такого: SalesOrder<T extends SalesTotal | SalesShipping | SalesItems<infer U>> = ...
Обсуждают сегодня