Rust: Change getATypeParameterConstraint to not require a TypeMention

[paldepind]

Changes the signature of getATypeParameterConstraint in the shared type inference library:

-  TypeMention getATypeParameterConstraint(TypeParameter tp);
+  Type getATypeParameterConstraint(TypeParameter tp, TypePath path);

The library does in fact not need a distinct value (instance of TypeMention) to represent the parameter constraint and the updated signature offers more flexibility to clients.

[Copilot]

Pull request overview

This PR refactors the getATypeParameterConstraint function in the shared type inference library to provide more flexibility to clients by changing its return type from TypeMention to Type and adding a TypePath parameter.

Changes:

• Updated the signature of getATypeParameterConstraint to return Type instead of TypeMention and accept a TypePath parameter
• Adapted the Rust-specific implementation to use the new signature by resolving types at the specified path
• Simplified the usage in typeParameterConstraintHasTypeParameter by directly calling the updated function instead of using intermediate TypeMention variables

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File	Description
shared/typeinference/codeql/typeinference/internal/TypeInference.qll	Updated function signature and simplified its usage in type parameter constraint checking
rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll	Adapted implementation to resolve types at the specified path using exists clause

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[hvitved]

Assuming DCA is fine.

[paldepind]

DCA is uneventful.