QL: We can use PredicateOrBuiltin now.

geoffw0 · geoffw0 · commit 6d313cfb6b2a · 2021-10-14T13:59:47.000+01:00
diff --git a/ql/src/queries/style/UseSetLiteral.ql b/ql/src/queries/style/UseSetLiteral.ql
@@ -105,7 +105,7 @@ class CallLiteral extends Call {
 class DisjunctionPredicateLiteral extends DisjunctionChain {
   DisjunctionPredicateLiteral() {
     // Call to the same target
-    exists(AstNode target |
+    exists(PredicateOrBuiltin target |
       forex(Formula f | f = getAnOperandRec() | f.(CallLiteral).getTarget() = target)
     )
   }

Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,7 @@ class CallLiteral extends Call {`
`105`	`105`	`class DisjunctionPredicateLiteral extends DisjunctionChain {`
`106`	`106`	`DisjunctionPredicateLiteral() {`
`107`	`107`	`// Call to the same target`
`108`		`- exists(AstNode target \|`
	`108`	`+ exists(PredicateOrBuiltin target \|`
`109`	`109`	`forex(Formula f \| f = getAnOperandRec() \| f.(CallLiteral).getTarget() = target)`
`110`	`110`	`)`
`111`	`111`	`}`