Mypy should ensure overloads are compatible with the implementation

Bug Report

Mypy should ensure overloads are compatible with the implementation

To Reproduce

from typing import Union, overload
from typing_extensions import Literal

@overload
def f(*, flag: Literal[True]) -> float: ...
@overload
def f(*, flag: Literal[False] = False) -> str: ...
def f(*, flag: bool = False) -> Union[str, float]:
    return 5

reveal_type(f(flag=True))
reveal_type(f(flag=False))
reveal_type(f())

Expected Behavior

an error along the lines of "signature 2 incompatible with implementation" because it cannot return a str when flag=False

Actual Behavior

$ mypy test.py 
test.py:11:13: note: Revealed type is "builtins.float"
test.py:12:13: note: Revealed type is "builtins.str"
test.py:13:13: note: Revealed type is "builtins.str"

Your Environment

• Mypy version used:

$ mypy --version
mypy 0.910

Inizia eseguendo l’esempio di overload fornito con mypy 0.910 e conferma i tipi rivelati e la diagnostica mancante. Traccia i controlli di compatibilità per la firma di implementazione; il lavoro è completato quando gli overload incompatibili, come il caso false-flag che restituisce str, producono un errore senza rifiutare gli overload compatibili.