Онлайн-редактор кода, разбор решения и отметки о прогрессе доступны после входа.
ВойтиСоздать аккаунт — бесплатноКогда T встречается в нескольких аргументах, TypeScript выводит его из всех сразу и подбирает тип, под который подойдут все кандидаты. Обычно это удобно, но иногда один из аргументов должен только проверяться против T, а не участвовать в его выводе.
В задании функция берёт первый элемент списка или запасное значение:
Ошибка одна: «Unused '@ts-expect-error' directive». Вызов с "de" компилируется, хотя такого языка в списке нет.
Происходит вот что. Из langs получается кандидат "ru" | "en", из fallback кандидат "de". TypeScript объединяет их и выводит T = "ru" | "en" | "de". Ошибки нет, потому что под такой T подходят оба аргумента. Тип результата при этом тоже расширился и стал включать язык, которого в данных нет.
Хочется, чтобы источником истины был только список, а запасное значение обязано было ему соответствовать. Для этого в TypeScript 5.4 появился встроенный тип NoInfer<T>: он запрещает выводить параметр из того места, где стоит.
Сделай так, чтобы T выводился только из items, а fallback лишь проверялся на соответствие. Вызов с "de" должен стать ошибкой. Тело функции и вызовы менять не нужно.
