inferの基本的な使い方です。

infer でできること

infer の動作はRustやScalaのパターンマッチに似ています。
型変数を conditional type の extends の中で宣言できます。
宣言した型変数の値はTypeScriptが推論してくれます。

type R<T> = T extends (...args:any[])=> infer V ? V:never;

上記の場合、Tが関数のとき T extends (...args:any[])=> infer V はtrueになります。
infer は戻り値の位置に書かれているのでVの値はTの戻り値の型になります。
infer を使って宣言した型変数はconditional typeのtrueの分岐の中で参照できます。

infer を記述する位置を変えることでキャプチャの対象を変更できます。
例えば以下のようにできます。

// 関数の引数の型
type Args<T> = T extends (...args:infer A) => any ? A:never;

// タプルや配列の最初の要素の型
type First<T extends any[]> = T extends [infer F, ...any[]] ? F:never

// タプルや配列の最後の要素の型
type Last<T extends any[]> = T extends [...any[], infer L] ? L:never;

// Promiseの返値の型
type PromiseValue<T> = T extends Promise<infer V> ? V:never;

infer が使える場所

conditional type の extends の後ろ、? より手前のところです。

type A<T> = T extends `ここで使える` ? true:false;

conditional type 以外では使えません。

// infer は conditional type の途中でしか使えないので下のような書き方は間違い
type Args<T extends (...args:infer P)=> any> = P