Support starred/splatted/unpacked arguments in function calls

[dreid]

Status:

• support single-starred arguments ([ty] Splat variadic arguments into parameter list ruff#18996)
• support single-starred arguments in calls to overloaded functions ([ty] Support single-starred argument for overload call ruff#20223)
• support double-starred arguments ([ty] Add support for **kwargs ruff#20430)

Original description:

Summary

Minimal reproducer:

def foo(initial_arg: str, *args: str) -> None:
    ...

foo(*["a", "b", "c"])  # No argument provided for required parameter `initial_arg` of function `foo` (lint:missing-argument) [Ln 4, Col 1]
foo(*[1, "a", "b"])  # No argument provided for required parameter `initial_arg` of function `foo` (lint:missing-argument) [Ln 4, Col 1]

https://play.ty.dev/4b8dc795-03b5-4fbf-a5c3-639f9518e093

I'd expect first the invocation to type check because the splatted args have compatible types to cover both the first argument and the var args.

[carljm]

Thanks for the report! Yeah, we don't support splatted arguments yet, but we should fix that soon.

[GriceTurrble]

Similar scenario to watch for, which brought me here:

https://play.ty.dev/edb289aa-d398-4f51-b758-42f584ca80e1

def something(foo, **others):
    pass

kwargs = {
    "foo": "one",
    "bar": "two",
}
something(**kwargs)

This throws the error:

No argument provided for required parameter `foo` of function `something` (missing-argument) [Ln 8, Col 1]

foo is part of the kwargs dict provided, but it's not recognized as being present.

[spapanik]

I am not sure if this is the same issue, I guess the root cause is the same. I am getting this error:

error[unresolved-attribute]: Type `str` has no attribute `pop`
   --> src/eulertools/lib/utils.py:383:18
    |
381 |     prefix, response_key, *answers = line.split(maxsplit=2)
382 |     try:
383 |         answer = answers.pop()
    |                  ^^^^^^^^^^^
384 |     except IndexError:
385 |         answer = ""
    |
info: rule `unresolved-attribute` is enabled by default

[carljm]

I think the most recent example here is actually #191 -- the other examples do look like this issue.