typescriptのinferの仕様が分からない

Question

type Flatten<A extends any[]> = A extends [infer T, ...infer V]
  ? [...(T extends any[] ? Flatten<T> : [T]), ...Flatten<V>]
  : [];
type flatten = Flatten<[1, 2, [3, 4], [[[5]]]]> // [1, 2, 3, 4, 5]

与えられた配列をフラットにするFlatten という型定義があります。
ここで使われている[infer T, ...infer V]という書き方が気になったのですが、

type A = any extends [infer A, infer B] ? A : B

上のような書き方をすると、「名前 'B' が見つかりません。」とエラーになるのに、

type A = any extends [infer A, infer B] ? any extends any ? A : B : any

みたいに3項演算子をネストさせたとこで「B」を使うとエラーになりません。

調べても出てこなかったのですが、これはどのような仕様によるものなのでしょうか？

Answer 1

上のような書き方をすると、「名前 'B' が見つかりません。」とエラーになる

この場合、any extends [infer A, infer B]に当てはまらなかった場合に:以降のBが採用されますが、もちろん型が当てはまらなかった以上Bに割り振られる型などありません。

Comments

[maisumakun]

後半の場合、最初のany extends [infer A, infer B]が成立しなければ最後のanyが取られるだけです。

[takuyaKK]

なるほど、type A = any extends [infer B, 1] ? 1 : B
と試しにやったら同じようにエラーになりました。any extends [infer B, 1]という条件が不成立だからBという型は存在しない？ものとして扱われているということですね！
理解できました！ありがとうございます????‍♂️