Как работает тип NoInfer для управления выводом типов?

NoInfer<T> (TypeScript 5.4+) блокирует вывод типа из определённой позиции параметра. Когда generic-параметр T используется в нескольких местах, TypeScript пытается вывести его из всех позиций сразу. NoInfer говорит: "Не используй эту позицию для вывода T — возьми тип из других мест, а здесь просто проверь совместимость". Это устраняет нежелательное расширение типов.