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
}

Empieza reproduciendo el ejemplo de overload y sigue la comprobación de firmas de overload de mypy. Determina si el comportamiento aceptado debería ser una advertencia para los defaults que difieren de la implementación o un error para cualquier default en los overloads. Se considera terminado cuando la regla elegida se aplica de forma coherente y está cubierta por pruebas de regresión.