Rust: Generalize type of debug predicate

paldepind · paldepind · commit 5213ba3b605e · 2025-06-17T10:28:12.000+02:00
diff --git a/rust/ql/lib/codeql/rust/internal/TypeInference.qll b/rust/ql/lib/codeql/rust/internal/TypeInference.qll
@@ -1587,7 +1587,7 @@ private module Debug {
     result = inferType(n, path)
   }
 
-  Function debugResolveMethodCallExpr(MethodCallExpr mce) {
+  Function debugResolveMethodCallTarget(Call mce) {
     mce = getRelevantLocatable() and
     result = resolveMethodCallTarget(mce)
   }

Original file line number	Diff line number	Diff line change
`@@ -1587,7 +1587,7 @@ private module Debug {`
`1587`	`1587`	`result = inferType(n, path)`
`1588`	`1588`	`}`
`1589`	`1589`
`1590`		`- Function debugResolveMethodCallExpr(MethodCallExpr mce) {`
	`1590`	`+ Function debugResolveMethodCallTarget(Call mce) {`
`1591`	`1591`	`mce = getRelevantLocatable() and`
`1592`	`1592`	`result = resolveMethodCallTarget(mce)`
`1593`	`1593`	`}`