Merge pull request github#20833 from hvitved/rust/fix-bad-join

hvitved · web-flow · commit caccee99906e · 2025-11-13T19:11:27.000+01:00
Rust: Fix bad join
diff --git a/rust/ql/lib/codeql/rust/elements/internal/ElementImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/ElementImpl.qll
@@ -105,7 +105,7 @@ module Impl {
         not isAttributeMacroExpansionSourceLocation(macro, n.getLocation())
       )
       or
-      isFromMacroExpansion(getImmediatelyEnclosingMacroInvocation(n))
+      isFromMacroExpansion(pragma[only_bind_into](getImmediatelyEnclosingMacroInvocation(n)))
     }
 
     cached

Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,7 @@ module Impl {`
`105`	`105`	`not isAttributeMacroExpansionSourceLocation(macro, n.getLocation())`
`106`	`106`	`)`
`107`	`107`	`or`
`108`		`- isFromMacroExpansion(getImmediatelyEnclosingMacroInvocation(n))`
	`108`	`+ isFromMacroExpansion(pragma[only_bind_into](getImmediatelyEnclosingMacroInvocation(n)))`
`109`	`109`	`}`
`110`	`110`
`111`	`111`	`cached`