Incorrect inferred type for attribute with two partial types

Unexpected type is inferred for attribute x in this example:

class C:
    def __init__(self) -> None:
        if int():
            self.x = None
            return
        self.x = []
        self.x.append("x")

reveal_type(C().x)  # "list[str]" -- but should be "list[str] | None"

The inferred type should be list[str] | None, or alternatively mypy could require a type annotation for x, if this is too tricky to infer.

This should be tested with and without --allow-redefinition-new, since it may make a difference.

Inizia riproducendo in mypy l’esempio fornito della classe C, verificando il tipo rivelato con e senza --allow-redefinition-new. Traccia il comportamento dell’inferenza per le due assegnazioni a x e aggiungi un test di regressione che copra entrambe le modalità; il lavoro è completo quando mypy segnala list[str] | None oppure richiede in modo coerente un’annotazione.