list.append seems to break return type checker

Hello, concerning the function below:

from typing import List
def foo() -> List[int]:
    listings = None
    if 2 != 2:
        listings = list()
        listings.append(1)
    return listings

I expected:
Incompatible return value type (got "Optional[List[int]]", expected "List[int]")

I got no error

This one does throw the expected error (same config):

from typing import List
def foo() -> List[int]:
    listings = None
    if 2 != 2:
        listings = [1]
    return listings

running mypy 0.770 on python 3.8

I would appreciate it if you could tell me if I am doing something wrong :)

Have a good day !

Reproduziere die beiden Snippets mit mypy 0.770 unter Python 3.8 und vergleiche den abgeleiteten Typ von listings vor dem return. Verfolge die Behandlung von list.append gegenüber dem Listenliteral und füge anschließend einen Regressionstest hinzu, der zeigt, dass beide Fälle den erwarteten Optional[List[int]]-Fehler für den Rückgabewert erzeugen.