Rust: Add debug predicate for ItemNode

paldepind · paldepind · commit 60ceb89f01be · 2025-09-19T14:23:44.000+02:00
diff --git a/rust/ql/lib/codeql/rust/internal/PathResolution.qll b/rust/ql/lib/codeql/rust/internal/PathResolution.qll
@@ -1807,6 +1807,8 @@ private module Debug {
     path = p.toStringDebug()
   }
 
+  predicate debugItemNode(ItemNode item) { item = getRelevantLocatable() }
+
   ItemNode debugResolvePath(RelevantPath path) {
     path = getRelevantLocatable() and
     result = resolvePath(path)

Original file line number	Diff line number	Diff line change
`@@ -1807,6 +1807,8 @@ private module Debug {`
`1807`	`1807`	`path = p.toStringDebug()`
`1808`	`1808`	`}`
`1809`	`1809`
	`1810`	`+ predicate debugItemNode(ItemNode item) { item = getRelevantLocatable() }`
	`1811`	`+`
`1810`	`1812`	`ItemNode debugResolvePath(RelevantPath path) {`
`1811`	`1813`	`path = getRelevantLocatable() and`
`1812`	`1814`	`result = resolvePath(path)`