T extends (...args: infer R) => unknown ? R : never ← ナニコレ

type-challengesをやってるときの、ナニコレ シリーズです。前回はこれでした。 今回もやっていきます。前回同様、「あーなるほどね」となった方や「またinferの話か、どんだけこすんねん」となった方はわざわざ読む必要がない記事っぽいです。 手っ取り早く何か知りたい人・答え合わせしたい人 私が解説せずとも、ドキュメントで似たような使い方をちゃんと説明してくれているので、そっちを読むのが正解です。 extends この文を読んでくださってる方は興味を持ってくださった方ですね。ありがとうございます。順を追って説明していきます。 まずはextendsからです。これも公式ドキュメントを読むのが一番いいのですが、Conditional Type Constraintsというヤツです。 使い方はConditional Type Constraintsという名前通り、型を条件分岐して決めたい場合