Incorrect inference for dict() constructor argument types #401

Describe the Bug

Using pyrefly 0.17.1

When I use the dict constructor with keyword arguments like:

dict(foo = 4, bar = "xxx", ...)

then it appears that pyrefly incorrectly infers that the type signature of dict is **kwargs: int rather than **kwargs: Any. I get an error like:

Keyword argument `bar` with type `str` is not assignable to parameter `**kwargs: with type `int` in function `dict.__init__`

It seems that it just assumes that the type of the first keyword value should be the type of all remaining values.

As a workaround, you can cast the first keyword value to Any:

dict(foo = cast(Any,4), bar = "xxx", ...)

Sandbox Link

https://pyrefly.org/sandbox/?code=GYJw9gtgBALgngBwJYDsDmUkQWEMoCCKcANFAMYCGAzjAFB0AmS5MAFHVF1AB5QC8UACwlO3OAKgBGAHQAmUdygAvSQCIemtaICUDZqw5K+gqrTZFSwnYvGTZCsV1WCNW3QyA

(Only applicable for extension issues) IDE Information

No response