如何组合两种联合类型？

Question

type A = 1 | 2 | 3
type B = 4 | 5 & A
type C = A & 4 | 5
type D = A & (4 | 5)
type E = (4 | 5) & A

type X = 1 | 2 | 3 | 4 | 5

typeX

是我期待的结果

TypeB

和

TypeC

是我的尝试，但都失败了。

正确的做法是什么？

Answer 1

如果您有工会

type A = 1 | 2 | 3

并希望建立一个拥有更多成员的工会，例如

type B = 1 | 2 | 3 | 4 | 5

您可以将

1 | 2 | 3

替换为

A

并得到

type B = A | 4 | 5

也就是说，你想要一个工会的工会。 没有理由使用交集运算符，除非您试图删除成员。

Playground 代码链接