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 !

Riproduci i due snippet con mypy 0.770 su Python 3.8 e confronta il tipo inferito di listings prima del return. Traccia la gestione di list.append rispetto al letterale di lista, quindi aggiungi un test di regressione che mostri che entrambi i casi producono l’errore atteso Optional[List[int]] per il valore restituito.