Rust: Fix type inference for library parameters

hvitved · hvitved · commit 209c50a48f14 · 2025-07-02T11:40:33.000+02:00
diff --git a/rust/ql/lib/codeql/rust/internal/TypeInference.qll b/rust/ql/lib/codeql/rust/internal/TypeInference.qll
@@ -614,7 +614,7 @@ private module CallExprBaseMatchingInput implements MatchingInputSig {
       exists(Param p, int i |
         paramPos(this.getParamList(), p, i) and
         i = dpos.asPosition() and
-        result = inferAnnotatedType(p.getPat(), path)
+        result = p.getTypeRepr().(TypeMention).resolveTypeAt(path)
       )
       or
       exists(SelfParam self |

Original file line number	Diff line number	Diff line change
`@@ -614,7 +614,7 @@ private module CallExprBaseMatchingInput implements MatchingInputSig {`
`614`	`614`	`exists(Param p, int i \|`
`615`	`615`	`paramPos(this.getParamList(), p, i) and`
`616`	`616`	`i = dpos.asPosition() and`
`617`		`- result = inferAnnotatedType(p.getPat(), path)`
	`617`	`+ result = p.getTypeRepr().(TypeMention).resolveTypeAt(path)`
`618`	`618`	`)`
`619`	`619`	`or`
`620`	`620`	`exists(SelfParam self \|`