Что такое indexed access types (T[K])?

Indexed access types (T[K]) позволяют получить тип свойства объектного типа по ключу. Запись User["name"] вернёт тип свойства name из User. Ключ K должен быть подтипом keyof T. Можно обращаться по union ключей — тогда результат будет union типов соответствующих свойств. Это аналог обращения obj["key"] в runtime, но на уровне типов.