""""""

from numba import njit, types
from numba.extending import overload


def generic_add(a, b):
    pass


@overload(generic_add)
def ol_generic_add(a: types.Number, b: types.Number):
    if isinstance(a, types.Integer) and isinstance(b, types.Integer):

        def impl(a: types.Integer, b: types.Integer):
            return a + b

        return impl

    elif isinstance(a, types.Float) and isinstance(b, types.Float):

        def impl(a: types.Float, b: types.Float):
            return a + b

        return impl


@njit
def foo():
    return generic_add(1, 2), generic_add(1.0, 2.0)


print(foo())

    Rejected as the implementation raised a specific error:
      InternalError: Typing and implementation arguments differ in argument names.
    Typing signature:         (a: numba.core.types.abstract.Number, b: numba.core.types.abstract.Number)
    Implementation signature: (a: numba.core.types.scalars.Integer, b: numba.core.types.scalars.Integer)
    Difference: {<Parameter "a: numba.core.types.abstract.Number">, <Parameter "b: numba.core.types.scalars.Integer">, <Parameter "a: numba.core.types.scalars.Integer">, <Parameter "b: numba.core.types.abstract.Number">}