Spurious type error in `except` branch after an assignment from an `await` that throws

Bug Report

If a loop is guarded with an x is not None condition, and the body of the loop contains a try...except that assigns to x, mypy erroneously concludes that x might be None in the except branch.

To Reproduce

(https://mypy-play.net/?mypy=latest&python=3.12&gist=000b86de168d7bca72f3ff58de4121cb)

import asyncio
from collections.abc import Awaitable
from typing import Optional

R = Awaitable[Optional['R']]

async def boom() -> R:
	raise ValueError("Boom!")

async def main() -> None:
	x: Optional[R] = boom()
	y: R
	while x is not None:
		try:
			x = await x
		except:
			y = x
			break

asyncio.run(main())

Expected Behavior

The program is well-typed.

Actual Behavior

main.py:17: error: Incompatible types in assignment (expression has type "R | None", variable has type "R")  [assignment]
Found 1 error in 1 file (checked 1 source file)

Your Environment

See Playground details.

Comienza ejecutando el reproductor de Python del ejemplo enlazado de mypy-play y sigue cómo se gestiona el estrechamiento de tipos a través de la asignación await y la rama except. El issue no especifica ningún archivo del repositorio ni ninguna prueba; se considera terminado cuando el ejemplo se acepta sin el error de asignación indicado y el comportamiento cuenta con cobertura de regresión.