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.

Riproduci l’esempio di overload segnalato in mypy e confrontalo con il comportamento esistente quando viene omesso un valore predefinito. Traccia il punto di ingresso del controllo della sovrapposizione degli overload e aggiungi coverage per i parametri keyword-only con valori predefiniti; il lavoro è completato quando mypy segnala i tipi restituiti incompatibili nel caso mostrato senza introdurre regressioni nella diagnostica esistente.