NoInfer

export function pickDefault<T>(items: T[], fallback: NoInfer<T>): T {
  return items[0] ?? fallback;
}

const langs: ("ru" | "en")[] = ["ru", "en"];

export const lang: "ru" | "en" = pickDefault(langs, "en");

// @ts-expect-error
export const broken = pickDefault(langs, "de");

NoInfer<T> ведёт себя как обычный T во всём, кроме одного: из этой позиции TypeScript не берёт кандидатов для вывода. Теперь T выводится только из langs как "ru" | "en", а "de" проверяется против уже готового типа и не проходит.

Как было раньше

До TypeScript 5.4 тот же эффект получали трюком со вторым параметром:

function pickDefault<T, F extends T>(items: T[], fallback: F)

Здесь F выводится отдельно и ограничен уже выведенным T. Работает, но читается хуже и добавляет в сигнатуру параметр, который никому снаружи не нужен. Если в проекте старая версия TypeScript, встретить такое можно часто.

Где это нужно

Типичные случаи: значение по умолчанию, начальное значение, «выбранный» элемент из списка вариантов.

function createSelect<T extends string>(options: T[], initial: NoInfer<T>)

Правило простое: если аргумент должен подчиняться типу, а не определять его, оборачивай его в NoInfer.