Как можно по другому назвать U при типизации type InferValueTypes = T extends { [key: string]: infer U }? U: never?

Question

[Leo_SAN]

type InferValueTypes = T extends { [key: string]: infer U } ? U : never
Как можно по другому назвать U ?

Comments

[WbICHA]

В смысле? Как хочешь, так и назвай. В чём вопрос?

Answer 1

[Дмитрий Беляев]

U - это имя которое вводите Вы, вместо него может быть любое валидное имя:

type InferValueTypes<T> = T extends { [key: string]: infer IDontKnowWhat2CallThis } ? IDontKnowWhat2CallThis : never

А вообще не надо использовать условные типы, особенно с infer, там где можно обойтись без них:

type InferValueTypes<T extends Record<string, unknown>> = T[string];