Check for return type of overload implementation is too strict?

Consider this simplified example:

from typing import overload, Optional, List
  
@overload
def f(x: int) -> List[int]: ...
@overload
def f(x: None) -> List[Optional[int]]: ...

def f(x: Optional[int]) -> List[Optional[int]]:
    return [x]

Mypy currently complains about it that:

Overloaded function implementation cannot produce return type of signature 1

Although I understand why this happens, it is a bit annoying and can be perceived as a false positive. Maybe we should use is_overlapping_types() instead of is_subtype() for the check?

cc @Michael0x2a

Bắt đầu bằng cách tái hiện ví dụ overload được đơn giản hóa và lần theo bước kiểm tra kiểu trả về của phần triển khai trong mypy. So sánh kiểm tra is_subtype() hiện tại với hành vi được đề xuất của is_overlapping_types(), sau đó xác định xem ví dụ có nên được chấp nhận hay không và xác thực quyết định đó bằng phạm vi kiểm thử hồi quy.