Partial type that is "initialised" via assignment is only temporarily narrowed by `isinstance`

In the following example, the last revealed type could/should be Union[builtins.int, None]:

def f() -> bool: 
    return True

u: int | tuple[int]
x = None
if f():
    x = u
    if isinstance(x, tuple):
        x = x[0]
    reveal_type(x)  # note: "builtins.int"
reveal_type(x)  # note: Revealed type is "Union[builtins.int, Tuple[builtins.int], None]"

See this comment for background information.

Empieza reproduciendo el ejemplo de Python del issue y compara los dos resultados de reveal_type con el estrechamiento esperado. Lee el comentario enlazado en PR #18180 para conocer el contexto y, después, sigue la ruta de comprobación de tipos responsable del estrechamiento basado en asignaciones. La tarea estará terminada cuando el tipo revelado final sea int | None sin regresionar el comportamiento demostrado.