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

Beginne damit, das bereitgestellte Overload-Beispiel mit mypy 0.910 auszuführen, und bestätige die offengelegten Typen und die fehlende Diagnose. Verfolge die Kompatibilitätsprüfungen für die Implementierungssignatur; abgeschlossen ist dies, wenn inkompatible Overloads, etwa der false-flag-Fall, der str zurückgibt, einen Fehler erzeugen, ohne kompatible Overloads abzulehnen.