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 !

Reproduce los dos snippets con mypy 0.770 en Python 3.8 y compara el tipo inferido de listings antes del return. Traza el manejo de list.append frente al literal de lista y añade después una prueba de regresión que muestre que ambos casos producen el error esperado de Optional[List[int]] para el valor de retorno.