No error for overlapping overloads that vary in parameters with default values

Bug Report

Mypy doesn't complain that the following overloads overlap with incompatible return types, but probably should:

from typing import  overload

@overload
def foo(*, a: str = ...) -> str: ...
@overload
def foo(*, a: int | str = ...) -> int: ...

For comparison, pyright emits a diagnostic here (playground). Mypy does emit an error if a default value for a is omitted in either overload.

Reproduziere das gemeldete Überladungsbeispiel in mypy und vergleiche es mit dem bestehenden Verhalten, wenn ein Standardwert weggelassen wird. Verfolge den Einstiegspunkt der Überlappungsprüfung von Überladungen und füge Abdeckung für Keyword-only-Parameter mit Standardwerten hinzu; abgeschlossen ist die Aufgabe, wenn mypy im gezeigten Fall die inkompatiblen Rückgabetypen meldet, ohne die bestehende Diagnose zu beeinträchtigen.