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
}

Inizia riproducendo l’esempio di overload e segui il controllo delle firme di overload di mypy. Determina se il comportamento accettato debba essere un avviso per i defaults che differiscono dall’implementazione oppure un errore per qualsiasi default negli overload. Il lavoro è completo quando la regola scelta viene applicata in modo coerente ed è coperta da regression tests.