Option to not type ignored arguments

[00001H]

Before you raise this, consider if it's better suited to a discussion: https://github.com/KotlinIsland/basedmypy/discussions

e.g.

def foo(x: int,_) -> int:#Error, but I don't want it to be
    ...

Sometimes, when you want to pass a function as a callback, it would be nice not to have to annotate the 9 ignored parameter.

[KotlinIsland]

This should cover your case?

def foo(x: int, *args: object, **kwargs: object) -> int:
    ...

[KotlinIsland]

Actually, I think I like your idea

[KotlinIsland]

Sometimes, when you want to pass a function as a callback, it would be nice not to have to annotate the 9 ignored parameter.

When you have more than 1 unused parameter, how are you naming them? you can't have multiple parameters with the same name. _, __?

[00001H]

*_ would do.