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

Comienza ejecutando el ejemplo de overload proporcionado con mypy 0.910 y confirma los tipos revelados y el diagnóstico ausente. Sigue las comprobaciones de compatibilidad de la firma de implementación; se considera hecho cuando los overloads incompatibles, como el caso de false-flag que devuelve str, producen un error sin rechazar los overloads compatibles.