[Typing-sig] Re: Unions and initialization across type checkers

To clarify, to pyright, IIRC the two Union cases given in the original email are treated the same, as we are saying "x is of this type in this scope", then applying code flow distinctly. Eric responded with a similar remark about the location not mattering (I think it got lost due to email weirdness).