Narrowed type is not reflected in nested scopes #40
Description
from typing import Callable
class Foo:
_window_function: Callable[[str], int] | None
def foo(self) -> None:
if (window_function := self._window_function):
def bar() -> None:
print(window_function('foo'))
bar()$ pyrefly check g.py
ERROR g.py:9:23-38: Expected a callable, got None [not-callable]
Spotted in Narwhals