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.

Beginne damit, das bereitgestellte Klassenbeispiel C in mypy zu reproduzieren, und überprüfe den ermittelten Typ mit und ohne --allow-redefinition-new. Verfolge das Inferenzverhalten für die beiden Zuweisungen an x und füge einen Regressionstest hinzu, der beide Modi abdeckt; fertig ist die Aufgabe, wenn mypy list[str] | None meldet oder konsistent eine Annotation verlangt.