「type MyExclude<T, U> = T extends U ? never : T」がわかりません

Question

前提

type-challengesに挑戦しています。
easyのExcludeが分からずに困っています。
Excludeを使用せずに同じ機能を持ったtypeを作る課題です。以下が答えです。

type MyExclude<T, U> = T extends U ? never : T

分からないこと

extendsについて

extendsを紹介しているサイトをいくつか読みましたが、今回の問題でいくとT extends UはUを拡張したものがTという事になると思います。なのでUはTを内包するとい事だ理解しています。しかし、それだと今回の問題ではおかしいのではないでしょうか？Exclude<T, U>はTに与えらてた値に対してUを取り除くだと思うので、Tを拡張したものがUのイメージです。

// 今回の場合Foobarbazの中から指定されたものを除外するのでFoobarbazが起点になっているのでUは拡張されていないのでは？
type MyExclude<T, U> = T extends U ? never : T

type Foobarbaz = foo| bar | baz

MyExclude<Foobarbaz, baz>

試したこと

extendsについて
https://typescriptbook.jp/reference/generics/type-parameter-constraint
https://zenn.dev/miz_dev/articles/1519a995ae306a#generics-%E3%81%AE-extends-%E3%81%AB%E3%82%88%E3%82%8B%E5%9E%8B%E5%88%B6%E7%B4%84

neverについて
https://numb86-tech.hatenablog.com/entry/2020/02/06/214324
https://typescriptbook.jp/reference/statements/never

Conditional Typesの分配について
https://zenn.dev/oreo2990/articles/1040312d7af066#1-1-conditional-type

補足情報（FW/ツールのバージョンなど）

type-challenges

Answer 1

私にはTがUを内包しているように見えるのです。

試したことのリンクにもありますが、
Tが型変数でユニオン型なので、Union distributionが発生します。

つまりT extends U ? never : T
は「TがUの拡張であるならば...」ではなく、
「Tを構成するそれぞれの型Tnについて、TnがUの拡張であるならば...」です。

Comments

[kaji120]

なるほど！理解できました。ありがとうございます！
再度リンク先も確認したところ、確かにそのように書いてありました。

Answer 2

UはTを内包するとい事だ理解しています。

それを三項演算子と組み合わせているので、「UがTを内包する」場合はnever、つまり型として除外されることになります。

Comments

[kaji120]

私にはTがUを内包しているように見えるのです。