Rust: Fix type inference for library parameters

hvitved · hvitved · commit 976fcc80bc44 · 2025-07-08T09:33:52.000+02:00
diff --git a/rust/ql/lib/codeql/rust/internal/TypeInference.qll b/rust/ql/lib/codeql/rust/internal/TypeInference.qll
@@ -619,7 +619,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
`@@ -619,7 +619,7 @@ private module CallExprBaseMatchingInput implements MatchingInputSig {`
`619`	`619`	`exists(Param p, int i \|`
`620`	`620`	`paramPos(this.getParamList(), p, i) and`
`621`	`621`	`i = dpos.asPosition() and`
`622`		`- result = inferAnnotatedType(p.getPat(), path)`
	`622`	`+ result = p.getTypeRepr().(TypeMention).resolveTypeAt(path)`
`623`	`623`	`)`
`624`	`624`	`or`
`625`	`625`	`exists(SelfParam self \|`