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 !

Python 3.8 上で mypy 0.770 を使って 2 つのスニペットを再現し、return 前の listings の推論された型を比較してください。list.append とリストリテラルの処理を追跡し、その後、両方のケースで戻り値に対して期待される Optional[List[int]] エラーが発生することを示す回帰テストを追加してください。