Narrow down right hand-side of an == expression in ifs #9093
Description
Is your feature request related to a problem? Please describe.
if a == 1 narrows a to Literal[1], but if 1 == a does not
Describe the solution you’d like
Narrow down the type of a in both cases