warn when default values on overloads differ from implementation signature

from typing import overload


@overload
def foo(value1: str, value2: bool = False) -> str: # this default value is wrong/useless
    ...


@overload
def foo(value1: int, value2: bool = False) -> int: # this default value is wrong/useless
    ...


def foo(value1: str | int, value2: bool = True) -> str | int:
    ...

in fact, maybe even prohibit defaults on overload signatures entirely, like in typescript:

function foo(value1: number, value2: boolean = false): number //error: A parameter initializer is only allowed in a function or constructor implementation.
function foo(value1: string, value2: boolean = false): string //error: A parameter initializer is only allowed in a function or constructor implementation.
function foo(value1: number | string, value2: boolean = true): number | string {
    return 1
}

Beginne damit, das overload-Beispiel zu reproduzieren, und verfolge mypys overload-signature checking. Ermittle, ob das akzeptierte Verhalten eine Warnung für defaults sein sollte, die sich von der Implementierung unterscheiden, oder ein Fehler für beliebige defaults bei overloads. Die Aufgabe ist abgeschlossen, wenn die gewählte Regel konsistent durchgesetzt und durch regression tests abgedeckt wird.