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
}

まず overload の例を再現し、mypy の overload-signature checking を追跡します。受け入れるべき動作が、実装と異なる defaults に対する警告なのか、overload 上のあらゆる defaults に対するエラーなのかを判断します。選択したルールが一貫して適用され、regression tests でカバーされれば完了です。