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 !

Tái hiện hai snippet bằng mypy 0.770 trên Python 3.8 và so sánh kiểu được suy luận của listings trước return. Theo dõi cách xử lý list.append so với list literal, sau đó thêm một kiểm thử hồi quy cho thấy cả hai trường hợp đều tạo ra lỗi Optional[List[int]] mong đợi đối với giá trị trả về.