Как работает ключевое слово infer в условных типах?

infer позволяет «захватить» часть типа внутри условного выражения и использовать её как переменную. Оно работает только в ветке extends условного типа и вводит новую типовую переменную, которая автоматически выводится компилятором. С помощью infer построены встроенные утилиты ReturnType, Parameters, Awaited и многие другие.