"Overloaded function signatures overlap with incompatible return types" false positive when there can be a subtype of both return types

from typing import overload, Literal

class A: ...

class B: ...

class C(A, B): ...

@overload
def foo(a: Literal[True], b: Literal[True]) -> C: ...

@overload
def foo(a: Literal[True], b: bool) -> A: ... # error: Overloaded function signatures 2 and 3 overlap with incompatible return types  [misc]

@overload
def foo(a: bool, b: Literal[True]) -> B: ...


def foo(a: bool, b: bool) -> object: ...

playground

Bắt đầu với trình tái hiện tối thiểu trong issue và kiểm tra chẩn đoán overload-overlap của mypy cho ba chữ ký liên quan đến A, B và C. Xác nhận hành vi dựa trên ví dụ playground được liên kết, sau đó thêm hoặc cập nhật một regression test để các kiểu trả về của subtype tương thích không còn tạo ra false positive, trong khi các overlap thực sự không tương thích vẫn được chẩn đoán.