Rust: Fix type inference for library parameters

hvitved · hvitved · commit 8cd357a8a0c0 · 2025-07-10T19:40:37.000+02:00
diff --git a/rust/ql/lib/codeql/rust/internal/TypeInference.qll b/rust/ql/lib/codeql/rust/internal/TypeInference.qll
@@ -654,7 +654,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
`@@ -654,7 +654,7 @@ private module CallExprBaseMatchingInput implements MatchingInputSig {`
`654`	`654`	`exists(Param p, int i \|`
`655`	`655`	`paramPos(this.getParamList(), p, i) and`
`656`	`656`	`i = dpos.asPosition() and`
`657`		`- result = inferAnnotatedType(p.getPat(), path)`
	`657`	`+ result = p.getTypeRepr().(TypeMention).resolveTypeAt(path)`
`658`	`658`	`)`
`659`	`659`	`or`
`660`	`660`	`exists(SelfParam self \|`