[hvitved]

No description provided.

[Copilot]

🟡 Changes recommended

Argument matching mishandles repeated Swift labels and labelled enum-case parameters, producing spurious return types and breaking generic type propagation.

2 open issues

• Repeated argument labels infer the wrong return type · New
• Enum-case argument labels fail to infer generic types · New

What changed in this PR

Adds named-argument matching to shared type inference, enabling Swift to infer argument types when earlier defaulted parameters are omitted.

Changes:

• Exposes argument names and parameter labels through the inference interfaces.
• Adds label-based matching while retaining positional arguments for Rust.
• Updates Swift test annotations and generated inference expectations.

File	Description
unified/​ql/​test/​library-tests/​type-inference/​type-inference.expected	Records inferred argument-node types and improved closure typing.
unified/​ql/​test/​library-tests/​type-inference/​constructors.swift	Updates an inline expectation comment for closure parameter inference.
unified/​ql/​lib/​codeql/​unified/​internal/​typeinference/​TypeInference.qll	Introduces named argument wrappers and receiver handling.
unified/​ql/​lib/​codeql/​unified/​internal/​ParameterEx.qll	Exposes external names for source and synthesized parameters.
shared/​typeinference/​codeql/​typeinference/​internal/​TypeInference.qll	Matches arguments to parameters by name or position.
rust/​ql/​lib/​codeql/​rust/​internal/​typeinference/​TypeInference.qll	Adapts positional-only Rust arguments to the shared interface.

_{Review effort: Max}

[Copilot]

🟡 Changes recommended

Unresolved type-inference defects cause label/rank key collisions, misalign repeated-label trailing closures, and block expected-type propagation to function-value call arguments.

3 open issues

• Separate argument labels from occurrence ranks to prevent key collisions · New
• Include positional trailing closures when counting repeated labels · New
• Map invoke-signature tuple types back to syntactic arguments · New

2 resolved since last review

• Enum-case argument labels fail to infer generic types
• Repeated argument labels infer the wrong return type

_{Review effort: Max}

[Copilot]

🟡 Changes recommended

Trailing-closure matching regressions reuse already-consumed parameters for repeated labels and mishandle _ labels, producing incorrect or missing inferred types.

2 open issues

• Treat underscore labels as absent argument names · New
• Match only constraints applicable to the target method · New

3 resolved since last review

• Map invoke-signature tuple types back to syntactic arguments
• Include positional trailing closures when counting repeated labels
• Separate argument labels from occurrence ranks to prevent key collisions

_{Review effort: Max}