回答編集履歴
1
文言微修正
test
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
正解かは分かりませんが見解を記します。
|
|
1
|
+
正解かは分かりませんが見解を記します。（2週間ほど経っているので、解決済みでしたらすみません）
|
|
2
2
|
|
|
3
3
|
仰るような、Distributive conditional types に関しての説明が[ドキュメント](https://www.typescriptlang.org/docs/handbook/release-notes/typescript-2-8.html#distributive-conditional-types)に記載してあり、こちらがほぼ答えになるかと思われます。
|
|
4
4
|
> _Distributive conditional types are automatically distributed over union types during instantiation. For example, an instantiation of `T extends U ? X : Y` with the type argument `A | B | C` for `T` is resolved as `(A extends U ? X : Y) | (B extends U ? X : Y) | (C extends U ? X : Y)`._
|
|
@@ -30,4 +30,3 @@
|
|
|
30
30
|
type Z_2 = (true extends true ? never : true) | (false extends true ? never : false);
|
|
31
31
|
```
|
|
32
32
|
このように考えると、少し納得できたような気がしますが如何でしょうか。
|
|
33
|
-
分かりづらかったらすみません。。
|