Rust: fix bad join order

aibaars · aibaars · commit 2b65e7867408 · 2024-10-24T15:13:27.000+02:00
diff --git a/rust/ql/lib/codeql/rust/elements/internal/LocatableImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/LocatableImpl.qll
@@ -36,7 +36,8 @@ module Impl {
       this.getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
       or
       not exists(this.getLocation()) and
-      any(EmptyLocation e).hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
+      pragma[only_bind_out](any(EmptyLocation e))
+          .hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)
     }
 
     /**

Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,8 @@ module Impl {`
`36`	`36`	`this.getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)`
`37`	`37`	`or`
`38`	`38`	`not exists(this.getLocation()) and`
`39`		`- any(EmptyLocation e).hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)`
	`39`	`+ pragma[only_bind_out](any(EmptyLocation e))`
	`40`	`+ .hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn)`
`40`	`41`	`}`
`41`	`42`
`42`	`43`	`/**`