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

まず、簡略化したオーバーロードの例を再現し、mypy における実装の戻り値型チェックを追跡します。現在の is_subtype() チェックと、提案されている is_overlapping_types() の動作を比較し、そのうえで例を受け入れるべきかどうかを判断し、リグレッションカバレッジでその判断を検証します。