mirror of https://github.com/astral-sh/ruff
bb9be263c7
## Summary This PR addresses an issue for a variadic argument when involved in argument type expansion of overload call evaluation. The issue is that the expansion of the variadic argument could result in argument list of different arity. For example, in `*args: tuple[int] | tuple[int, str]`, the expansion would lead to the variadic argument being unpacked into 1 and 2 element respectively. This means that the parameter matching that was performed initially isn't sufficient and each expanded argument list would need to redo the parameter matching again. This is currently done by redoing the parameter matching directly, maintaining the state of argument forms (and the conflicting forms), and updating the `Bindings` values if it changes. Closes: astral-sh/ty#735 ## Test Plan Update existing mdtest. |
||
|---|---|---|
| .. | ||
| annotation.md | ||
| builtins.md | ||
| callable_instance.md | ||
| constructor.md | ||
| dunder.md | ||
| dunder_import.md | ||
| function.md | ||
| getattr_static.md | ||
| invalid_syntax.md | ||
| methods.md | ||
| never.md | ||
| overloads.md | ||
| replace.md | ||
| str_startswith.md | ||
| subclass_of.md | ||
| union.md | ||