Ключ и тип поля

А запись T[K] достаёт тип поля по ключу: User["age"] это number.

В задании функция читает поле объекта по имени:

export function prop<T>(obj: T, key: string): unknown {
  return obj[key];
}

const user = { name: "Макс", age: 30 };

export const age: number = prop(user, "age");
export const name: string = prop(user, "name");

// @ts-expect-error
export const email = prop(user, "email");

Здесь сразу несколько ошибок. Внутри функции obj[key] не компилируется: по произвольной строке читать из T нельзя. Результат unknown, и его не присвоить ни в number, ни в string. А вызов с несуществующим ключом "email" проходит молча, и директива @ts-expect-error остаётся без своей ошибки.

Корень в том, что key объявлен как любая строка и никак не связан с объектом. Нужен второй параметр типа, который будет знать, что ключ принадлежит именно этому T, и тогда тип результата можно будет вычислить из пары «объект и ключ».

Подробнее: Keyof Type Operator — справочник TypeScript.

Задание

Добавь второй параметр типа для ключа, ограниченный ключами T, и опиши тип результата через индексный доступ. age должен получиться number, name строкой, а вызов с "email" должен стать ошибкой. Тело функции и вызовы менять не нужно.