Update rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll

hvitved · Copilot · web-flow · commit aa04ba224ae4 · 2026-02-18T08:26:14.000+01:00
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll b/rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
@@ -1033,7 +1033,7 @@ pragma[nomagic]
 private Type inferStructExprType0(AstNode n, FunctionPosition pos, TypePath path) {
   exists(StructExprMatchingInput::Access a, StructExprMatchingInput::AccessPosition apos |
     n = a.getNodeAt(apos) and
-    if apos.isStructPos() then pos.isReturn() else pos.asPosition() = 0 // the acutal position doesn't matter, as long as it is positional
+    if apos.isStructPos() then pos.isReturn() else pos.asPosition() = 0 // the actual position doesn't matter, as long as it is positional
   |
     result = StructExprMatching::inferAccessType(a, apos, path)
     or

Original file line number	Diff line number	Diff line change
`@@ -1033,7 +1033,7 @@ pragma[nomagic]`
`1033`	`1033`	`private Type inferStructExprType0(AstNode n, FunctionPosition pos, TypePath path) {`
`1034`	`1034`	`exists(StructExprMatchingInput::Access a, StructExprMatchingInput::AccessPosition apos \|`
`1035`	`1035`	`n = a.getNodeAt(apos) and`
`1036`		`- if apos.isStructPos() then pos.isReturn() else pos.asPosition() = 0 // the acutal position doesn't matter, as long as it is positional`
	`1036`	`+ if apos.isStructPos() then pos.isReturn() else pos.asPosition() = 0 // the actual position doesn't matter, as long as it is positional`
`1037`	`1037`	`\|`
`1038`	`1038`	`result = StructExprMatching::inferAccessType(a, apos, path)`
`1039`	`1039`	`or`