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
}

Commencez par reproduire l’exemple d’overload et suivez la vérification des signatures d’overload de mypy. Déterminez si le comportement accepté doit être un avertissement pour les defaults qui diffèrent de l’implémentation ou une erreur pour tout default dans les overloads. La tâche est terminée lorsque la règle choisie est appliquée de manière cohérente et couverte par des tests de régression.