[red-knot] Support narrowing for assignment expressions

[sharkdp]

Narrowing should also be supported if the target is inside an assignment expression. For example:

def f() -> int | None: ...

if (x := f()) is not None:
    reveal_type(x)  # should be `int`