typescriptの型推論の結果がなぜそうなるのか分からない。

Question

type perm = Permutation<'A'>; 
type Permutation<T, U = T> = T extends never ? [] : T extends T ? [T, ...Permutation<Exclude<U, T>>] : any;

typescriptでPermutationという型を作りました。

自分の予想だとtype perm = ["A"]という型になるのかなと思ったのですが、結果はneverになってしまいました。

僕の思考回路だと以下のようになるのかなと思ったのですが、どこが間違っているのでしょうか？

Permutation<"A"> =　["A",...Permutation<Exclude<”A”, ”A”>>]
                 =　["A",...Permutation<Exclude<never>]
                 =  ["A",...[]]
                 =  ["A"]

Answer 1

僕の思考回路だと以下のようになるのかなと思ったのですが

T extends never ? A : Bという型演算は、Tがneverの場合、AでもBでもなく全体がneverとなる、とのことです（参考）。

Comments

[takuyaKK]

なんだ、その法則は。。。。意味が分からない。。。。
理解できました！ありがとうございます????‍♂️????‍♂️