[S0, T0] & [S1, T1] cannot be converted to [S0 & S1, T0 & T1], but we can at least preserve the tuple when not intersected.
[S0, T0] & [S1, T1]
[S0 & S1, T0 & T1]
Intersected tuples become arrays. E.g. [S0, T0] & [S1, T1] becomes Array<S0 | S1 | T0 | T1>
Array<S0 | S1 | T0 | T1>
[S0, T0] & [S1, T1]cannot be converted to[S0 & S1, T0 & T1], but we can at least preserve the tuple when not intersected.Intersected tuples become arrays. E.g.
[S0, T0] & [S1, T1]becomesArray<S0 | S1 | T0 | T1>