unbound name when using walrus operator within a ternary expression

[jakevdp]

Short reproduction of the issue:

# test.py
def f(i):
  return a if (a := round(i)) - 1 else a + 1
print(f"result is {f(1.0)}") 

This executes correctly:

$ python test.py
result is 2

But pyrefly raises an error (using v0.52.0):

$ pyrefly check test.py
ERROR `a` is uninitialized [unbound-name]
 --> test.py:3:40
  |
3 |   return a if (a := round(i)) - 1 else a + 1
  |                                        ^
  |
 INFO 1 error

Sandbox Link

sandbox link

(Only applicable for extension issues) IDE Information

No response

[jakevdp]

I came across what looks like another instance of the same bug, but without the ternary expression:

def f(a):
    if (x := a) > 0:
        pass
    return x

$ uv run pyrefly check test.py
ERROR `x` may be uninitialized [unbound-name]
 --> test.py:4:12
  |
4 |     return x
  |            ^
  |
 INFO 1 error

[samwgoldman]

The version with an if-statement still reproduces

[Adist319]

Handled the if-statement case in this PR: #2493