Skip to content

Rust: Move more type inference logic into shared library#21795

Draft
hvitved wants to merge 10 commits intogithub:mainfrom
hvitved:rust/type-inference-shared
Draft

Rust: Move more type inference logic into shared library#21795
hvitved wants to merge 10 commits intogithub:mainfrom
hvitved:rust/type-inference-shared

Conversation

@hvitved
Copy link
Copy Markdown
Contributor

@hvitved hvitved commented May 5, 2026

No description provided.

@github-actions github-actions Bot added the Rust Pull requests that update Rust code label May 5, 2026
@hvitved hvitved force-pushed the rust/type-inference-shared branch from 8ca252c to 30be9c4 Compare May 5, 2026 13:31
Comment thread rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll Fixed
Comment thread rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll Fixed
@github-actions github-actions Bot added the Swift label May 6, 2026
@hvitved hvitved force-pushed the rust/type-inference-shared branch from 5c132eb to a9b24ec Compare May 6, 2026 17:57
@hvitved hvitved force-pushed the rust/type-inference-shared branch from a9b24ec to 15c4c30 Compare May 6, 2026 18:23
Comment on lines +411 to +418
result = inferFunctionCallTypeNonSelf(n, pos, path)
or
exists(FunctionCallMatchingInput::Access a |
result = inferFunctionCallTypeSelf(a, n, DerefChain::nil(), path) and
if a.(AssocFunctionResolution::AssocFunctionCall).hasReceiver()
then not path.isEmpty()
else any()
)
AstNode n1, TypePath path1, AstNode n2, TypePath path2
) {
path1.isEmpty() and
path2.isEmpty() and
Comment on lines +2148 to +2152
TypeMention getTypeAnnotation(AstNode n);

/** An expression. */
class Expr extends AstNode;

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Rust Pull requests that update Rust code Swift

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants