Swift: Switch pragma to inline_late.

Author: geoffw0

swift/ql/lib/codeql/swift/dataflow/internal/TaintTrackingPublic.qll

@@ -26,17 +26,14 @@ predicate localTaintStep = localTaintStepCached/2;
  * of `c` at sinks and inputs to additional taint steps.
  */
 bindingset[node]
+pragma[inline_late]
 predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::ContentSet cs) {
   // If a `PostUpdateNode` is specified as a sink, there's (almost) always a store step preceding it.
   // So when the node is a `PostUpdateNode` we allow any sequence of implicit read steps of an appropriate
   // type to make sure we arrive at the sink with an empty access path.
   exists(NominalTypeDecl d, Decl cx |
-    pragma[only_bind_out](node)
-        .(DataFlow::PostUpdateNode)
-        .getPreUpdateNode()
-        .asExpr()
-        .getType()
-        .getUnderlyingType() = d.getType().getABaseType*() and
+    node.(DataFlow::PostUpdateNode).getPreUpdateNode().asExpr().getType().getUnderlyingType() =
+      d.getType().getABaseType*() and
     cx.asNominalTypeDecl() = d and
     cs.getAReadContent().(DataFlow::Content::FieldContent).getField() = cx.getAMember()
   )