Incompatible singledispatch signature not detected

This generates no error from mypy but fails at runtime:

from functools import singledispatch

@singledispatch
def f(x: object) -> int:
    return 1

@f.register
def _(x: int, y: str) -> int:
    return 2

print(f(1))  # No error reported, but fails at runtime

Another example:

from functools import singledispatch

@singledispatch
def f(x: object, y: str) -> None:
    y + ''

@f.register
def _(x: int, y: int) -> None:
    y + 1

print(f(1, 'x'))  # No error reported, but fails at runtime

Third example:

from functools import singledispatch

@singledispatch
def f(x: object, y: str) -> None:
    pass

@f.register
def _(x: int, yy: str) -> None:
    pass

print(f(1, y='x'))  # No error reported, but fails at runtime

We should check that the signatures of registered items are compatible with the generic one, except for the first argument.

Comienza con los tres ejemplos de singledispatch y sigue el tratamiento que hace mypy de las funciones registradas y de la compatibilidad de las firmas. Añade cobertura de regresión para llamadas posicionales y con palabras clave; después, verifica que las firmas registradas incompatibles produzcan errores, mientras que las compatibles sigan siendo aceptadas.