"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

issue にある最小再現例から始め、A、B、C に関係する 3 つのシグネチャについて、mypy の overload-overlap 診断を調べてください。リンク先の playground の例で動作を確認し、その後、互換性のあるサブタイプの戻り値型が誤検出を引き起こさなくなる一方で、実際に互換性のないオーバーラップは引き続き診断されるように、回帰テストを追加または更新してください。