Индексный доступ

export type User = {
  id: number;
  name: string;
};

export type UserValue = User[keyof User];

export const values: UserValue[] = [1, "Макс"];

keyof User это "id" | "name", а User["id" | "name"] это number | string. Добавится в User новое поле, и его тип сам попадёт в UserValue.

Это уже встречалось

Такая же конструкция была в задании 13: T[keyof T] в типе пар. Там она работала с параметром типа, здесь с конкретным типом, но смысл один: «тип любого значения этого объекта».

Индексный доступ к массивам

С массивами работает ключ number:

const langs = ["ru", "en", "de"] as const;

type Lang = (typeof langs)[number

Это частый приём: список значений описывается один раз как массив, а тип получается из него. Тот же подход, что keyof typeof в задании 18, только для массива.

Вложенные поля

Индексный доступ можно повторять:

type Order = { customer: { address: { city: string } } };

type City =

Удобно, когда нужен тип глубоко вложенной части большого типа, например ответа API, а отдельного имени у неё нет.