tree 5799ac4df6bf1c9c9319c973784cf9e0c21acaf3
parent b1fe4e405d5450f4f10c5abe682431a3961a8c31
author Charlie Marsh <charlie.r.marsh@gmail.com> 1777691376 -0400
committer GitHub <noreply@github.com> 1777691376 -0400
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJp9WrwCRC1aQ7uu5UhlAAAh/IQAKgycyxLw8ej5KPcQbEnVCoI
 RQHndca36UCfMVj1exxXsavrnDAO4Y5LOIXsTC+dO64uCIfPYJZhGg0PGPy8RK4N
 yfKKP4rGSg7gdySGv9B97sgNffj8OAF7pgALMOoS3YF7JUbbpWvTBm+E5C12dqnK
 TinokNIT7YtpKaayXIwc+lfL8a63cQaa3smtqS6uz7O00mZKJYqHeTiQBRZbEDoV
 yLuYkTX4LlNEBO8hSw1ovodtsG9IrPiGdQMV9V8rZO7N0AuvPF9QxFtbUauDaTQ6
 C+163dxZxMtyNyU/i76qWJUnRwFEKlh9eBYDgxFlwgyP/kATW9YvUId6OV7I68Eb
 DFyXiUa2e688ZaTPZzUqa/b1UU8V3D6+R3lED/ZOMa2GPvb92URO40eIIUv8y7XK
 yVz1FxEM2ii8xkH4SrATBEiVzb6UIXrdYrKTKbsLg3xZHVsf3Fprcf8VSNsoArmt
 xQ2vfauQBbOFSIzrZqxOQV0d1dk0YZlZdCsh+LP5IysEKgeTpFp59G3BgKxrExR0
 yX8rF8MMujHB1icDYRvnY9IlyidvPmd8ZymJdJwYOTMG201hFLHaQstvg2FQvypY
 PO6d6yZ5hkqJpM0TxPgP/uXIFFo6EierwYHgGWBCbTnYQL/+WSPWxsbktAZpjnr6
 afoCkpYoFuOy0El7dNap
 =5Mxc
 -----END PGP SIGNATURE-----
 

[ty] Expand support for narrowing within walruses (#24968)

## Summary

Support narrowing for a few more already-supported sites, but in the
context of a walrus, as in:

```python
def f(t: tuple[int, int] | tuple[None, None]):
    if (first := t[0]) is not None:
        reveal_type(first)  # int
        reveal_type(t)      # tuple[int, int]
    else:
        reveal_type(first)  # None
        reveal_type(t)      # tuple[None, None]
```