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
é o resultado que eu esperava.
TypeB
e TypeC
são as tentativas que fiz, mas todas falharam.
Qual é a abordagem correta?