Use specialized parameter type for overload step 5 filtering

[dhruvmanila]

Reference: astral-sh/ruff#18607 (comment)

Resolve this TODO: https://github.com/astral-sh/ruff/blob/aa8bbd0be7c04a8ee9347acbec63954b189cf034/crates/ty_python_semantic/resources/mdtest/call/overloads.md?plain=1#L624-L625

[dhruvmanila]

This is a bit hand-wavy but I think what we might need to do here is to separate out the specialization building part when performing type checking to a different method like with_specialization i.e., the following piece of code:

https://github.com/astral-sh/ruff/blob/4a5715b97aed71a8682d62143dd18d46895ab861/crates/ty_python_semantic/src/types/call/bind.rs#L1935-L1970

Then,

• Build up the specializations for all the overloads that are involved in step 5 of call evaluation algorithm i.e., filter_overloads_using_any_or_unknown method
• Apply this specialization to the parameter types here

https://github.com/astral-sh/ruff/blob/4a5715b97aed71a8682d62143dd18d46895ab861/crates/ty_python_semantic/src/types/call/bind.rs#L1423-L1428

So, that the assignability check between the top materialized argument types and the union of parameter types works.

[abhijeetbodas2001]

@dhruvmanila can I work on this?

[dhruvmanila]

can I work on this?

Sure, that would be great! Feel free to ping me if there's any issue that you run into.