Видеоуроки, интерактивный редактор и сохранение прогресса — бесплатно, сразу после входа.
ВойтиСоздать аккаунт — бесплатноT[K] можно использовать не только как тип результата, но и как тип аргумента. Тогда TypeScript будет проверять, что переданное значение подходит под тип конкретного поля.
В задании функция возвращает копию объекта с изменённым полем:
Ключ уже проверяется: в assign(user, "email", ...) компилятор бы не пустил. А вот значение принимается любое, и единственная ошибка в файле: «Unused '@ts-expect-error' directive». Строка "тридцать" спокойно записывается в числовое поле age.
Обрати внимание на value as T[K] внутри функции. Это приведение типа, и оно здесь не просто так: без него unknown в поле не записать. Компилятор подсказывал, что с типом аргумента что-то не так, а as эту подсказку заглушил. Любой as в коде стоит воспринимать как место, где проверка типов выключена вручную.
Опиши тип аргумента value так, чтобы он совпадал с типом поля по ключу key. После этого приведение as внутри функции станет лишним, убери его. Вызовы менять не нужно.
