(🐞) 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.

Bắt đầu bằng cách tái hiện ví dụ trong mypy playground được liên kết và theo dõi quá trình kiểm tra kiểu trả về của triển khai overload mà ví dụ đó thực hiện. Xác định việc hoàn thành là tạo ra một chẩn đoán cho kiểu trả về không tương thích của triển khai, đồng thời giữ nguyên hành vi dự kiến đã nêu đối với các overload.