Address review comment

hvitved · hvitved · commit c6164b33e5e3 · 2025-11-13T10:47:04.000+01:00
diff --git a/rust/ql/lib/codeql/rust/internal/PathResolution.qll b/rust/ql/lib/codeql/rust/internal/PathResolution.qll
@@ -2033,10 +2033,7 @@ private ItemNode resolveUseTreeListItemQualifier(
 
 private UseTree getAUseUseTree(Use use) {
   exists(UseTree root | root = use.getUseTree() |
-    result = root
-    or
-    not root.hasPath() and
-    result = getAUseTreeUseTree(root)
+    if root.hasPath() then result = root else result = getAUseTreeUseTree(root)
   )
 }
 

Original file line number	Diff line number	Diff line change
`@@ -2033,10 +2033,7 @@ private ItemNode resolveUseTreeListItemQualifier(`
`2033`	`2033`
`2034`	`2034`	`private UseTree getAUseUseTree(Use use) {`
`2035`	`2035`	`exists(UseTree root \| root = use.getUseTree() \|`
`2036`		`- result = root`
`2037`		`- or`
`2038`		`- not root.hasPath() and`
`2039`		`- result = getAUseTreeUseTree(root)`
	`2036`	`+ if root.hasPath() then result = root else result = getAUseTreeUseTree(root)`
`2040`	`2037`	`)`
`2041`	`2038`	`}`
`2042`	`2039`