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 !

Reproduisez les deux snippets avec mypy 0.770 sous Python 3.8 et comparez le type inféré de listings avant le return. Suivez le traitement de list.append par rapport au littéral de liste, puis ajoutez un test de régression montrant que les deux cas produisent l’erreur attendue Optional[List[int]] pour la valeur de retour.