![](https://secure.gravatar.com/avatar/af4d71cd09e5d9b4776a8f3cee4d15fc.jpg?s=120&d=mm&r=g)
2 Sep
2020
2 Sep
'20
7:58 p.m.
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).