Ruby: remove exists that ql4ql is unhappy about

asgerf · asgerf · commit 5ef69628b367 · 2022-09-06T09:36:06.000+02:00
diff --git a/ruby/ql/lib/codeql/ruby/frameworks/data/internal/ApiGraphModelsSpecific.qll b/ruby/ql/lib/codeql/ruby/frameworks/data/internal/ApiGraphModelsSpecific.qll
@@ -68,8 +68,7 @@ API::Node getExtraNodeFromPath(string package, string type, AccessPath path, int
 
 /** Gets a Ruby-specific interpretation of the `(package, type)` tuple. */
 API::Node getExtraNodeFromType(string package, string type) {
-  isRelevantFullPath(package, type, _) and
-  exists(package) and // Allow any package name, see `isPackageUsed`.
+  isRelevantFullPath(package, type, _) and // Allow any package name, see `isPackageUsed`.
   type = "" and
   result = API::root()
 }

Original file line number	Diff line number	Diff line change
`@@ -68,8 +68,7 @@ API::Node getExtraNodeFromPath(string package, string type, AccessPath path, int`
`68`	`68`
`69`	`69`	/** Gets a Ruby-specific interpretation of the `(package, type)` tuple. */
`70`	`70`	`API::Node getExtraNodeFromType(string package, string type) {`
`71`		`- isRelevantFullPath(package, type, _) and`
`72`		- exists(package) and // Allow any package name, see `isPackageUsed`.
	`71`	+ isRelevantFullPath(package, type, _) and // Allow any package name, see `isPackageUsed`.
`73`	`72`	`type = "" and`
`74`	`73`	`result = API::root()`
`75`	`74`	`}`