3 ms·
No. T | E should only accept T or E. If their underlying type is int32 then int32 will not be accepted. If we want to accept underlying types then we would nee
by yutijke 5y ago
No.
T | E should only accept T or E. If their underlying type is int32 then int32 will not be accepted.
If we want to accept underlying types then we would need ~T | ~E.
Either way this doesn't help since typesets cannot be used as normal interfaces, only generic constraints.