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.

Beginne damit, das Python-Beispiel des Issues zu reproduzieren und die beiden reveal_type-Ergebnisse mit der erwarteten Eingrenzung zu vergleichen. Lies den verlinkten Kommentar zu PR #18180 als Hintergrund und verfolge dann den für die auf Zuweisungen basierende Eingrenzung verantwortlichen Type-Checking-Pfad. Die Aufgabe ist erledigt, wenn der endgültig angezeigte Typ int | None ist, ohne das gezeigte Verhalten zu beeinträchtigen.