`dict` function-based initialization is rejected

[charliermarsh]

The following gives: No overload of bound method __init__ matches arguments

SESSION_OPTIONS: dict[str, Any] = dict(
    # Allow models to be read after transactions are closed
    expire_on_commit=False,
    # Do not allow implicit re-use of sessions after their context closes
    close_resets_only=False,
)

See: https://types.ruff.rs/30b74134-d2d1-42d5-8fa5-e22768dad640

[AlexWaygood]

(Not sure if this is a known issue or not -- @dhruvmanila?)

[dhruvmanila]

I think this requires support for variadic and keyword-variadic arguments i.e., resolving the following TODO:

https://github.com/astral-sh/ruff/blob/main/crates/red_knot_python_semantic/src/types/call/bind.rs#L1135-L1138

[dhruvmanila]

Hmm, maybe not. Let me look at it more closely when I'm at my desk.

[dhruvmanila]

I think this is the same issue as #370.

Here are the overloads for dict:

info: Possible overloads for bound method `__init__`:
info:   (self) -> None
info:   (self: dict[str, _VT], **kwargs: _VT) -> None
info:   (self, map: SupportsKeysAndGetItem[_KT, _VT], /) -> None
info:   (self: dict[str, _VT], map: SupportsKeysAndGetItem[str, _VT], /, **kwargs: _VT) -> None
info:   (self, iterable: Iterable[tuple[_KT, _VT]], /) -> None
info:   (self: dict[str, _VT], iterable: Iterable[tuple[str, _VT]], /, **kwargs: _VT) -> None
info:   (self: dict[str, str], iterable: Iterable[list[str]], /) -> None
info:   (self: dict[bytes, bytes], iterable: Iterable[list[bytes]], /) -> None

Out of which, this is the overload that should match given the parameters above:

info:   (self: dict[str, _VT], **kwargs: _VT) -> None

which has self annotated which is causing an issue in the manner similar to the linked issue.

[MichaReiser]

So cool that our diagnostics now surface enough information to debug issues :)