Тип поля в аргументе

export function assign<T extends object, K extends keyof T>(obj: T, key: K, value: T[K]): T {
  const copy = { ...obj };
  copy[key] = value;
  return copy;
}

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

export const older = assign(user, "age", 31);

// @ts-expect-error
export const broken = assign(user, "age", "тридцать");

Теперь у трёх аргументов цепочка зависимостей: из obj выводится T, из key выводится K, а тип value вычисляется из них двоих. Для ключа "age" это number, и строка не проходит.

as больше не нужен

Внутри функции copy[key] имеет тип T[K], и value тоже T[K]. Типы совпадают, присваивание компилируется без приведения. Это хороший признак: если правильная сигнатура убирает необходимость в as, значит сигнатура описывает функцию честно.

Подсказки в редакторе

Приятный побочный эффект: после того как ты набрал assign(user, "age",, редактор уже знает, что третий аргумент число, и покажет это в подсказке. С unknown подсказка была бы бесполезной.

Где это встречается

Тот же приём используется в сеттерах форм и сторах:

function setField<K extends keyof FormState>(key: K, value: FormState[K]

Здесь T не нужен, потому что тип объекта известен заранее. Остаётся только K, и связь «ключ и тип значения» работает так же.