I would like to work on this. Seems straight forward, just need to change code here, right?

I believe there should be multiple error messages, to inform of all callable argument type mismatch.

Can I work on it??

Sure, I have not been able to continue work on it, feel free to do so. Take a look at the PR I made, let me know if you need help!

@rohitkg98 I was looking at your PR and I saw that it passed all the checks then why it was not merged?
I am new to open source. Can you please help and guide me on how to work on this issue & why was your code not merged?

is this issue still open?

One idea for a note:

...: note: Consider using a TypedDict type or "Dict[str, Any]" for the ** argument

Hi, I plan to work on this issue.
My take on this issue is that as discussed in #8772 this behavior is to be expected, and an error message should indeed be thrown.
But the message needs improvement. I will implement what has been proposed in PR #8960 by gvanrossum and modify existing tests accordingly in order to get it merged.

As a new and inexperienced contributor I'm open to any suggestions or comments.

Hello,
I could really use someone's opinion on this case :

def f(a: int = 42, b: str = "hello world"): ...


d = dict(a=3, b="Bye")  # is inferred as Dict[str, object]
f(**d)

This code cannot be statically typed, and so we should indicate to the user a way of making it work.
My question is : which of the following solution is the best ? My personal opinion is that the first one should be preferred, because it seems safer.

Solution 1

from typing import TypedDict

class Params(TypedDict):
    a: int
    b: str


d: Params = dict(a=3, b="hello")

f(**d)

Solution 2

d: Dict[str, Any] = dict(a=3, b="hello")
f(**d)

I think both have their place, the note Jukka suggests here #8874 (comment) seems like a good phrasing