pub type Union<T, R> = <T as Extend<R>>::Output;
Type alias for the union of two type sets.
assert::eq::<Union<(i32,), (i16,)>, (i32, i16)>();