(🐞) No error when overload implementation has incompatible return type

from typing import overload

@overload
def foo(a: int) -> int: ...

@overload
def foo(a: float) -> int: ...

def foo(a: object) -> object:  # no error
    return object()

playground

While the strictest of solutions would be to enforce the return type be an intersection of the overload return types, that would result in being overly strict to the point of being unusable. I suggest enforcing the return type to be a union of the overloads, this is not typesafe, but is much safer than not checking it at all.

まず、リンクされた mypy playground の例を再現し、それによって実行される overload 実装の戻り値型チェックを追跡します。実装の互換性のない戻り値型に対する診断を生成し、overload に対して記載された意図どおりの動作を維持できた状態を完了と定義します。