make type annotations on overload implementation signature optional

Feature
I want to be able to do this:

@overload
def foo(a: int) -> int: ...
@overload
def foo(a: str) -> str: ...
def foo(a): ...  # inferred as (a: int | str) -> int | str

I think I might develop RSI if I have to implement too many more overload signatures, making the type annotations optional on the implementation might ease my wrist pain a little.

Es wird keine Datei, kein Test und kein Einstiegspunkt genannt. Beginne mit der Suche in der mypy-Codebasis nach der Verarbeitung von overload-Implementierungen und der Typinferenz und verwende dann das Beispiel im Issue als Akzeptanzfall. Als abgeschlossen gilt die Arbeit, wenn eine nicht annotierte Implementierung nach overload-Deklarationen akzeptiert und so inferiert wird, dass sie int | str akzeptiert und int | str zurückgibt.