Skip to content

Commit 91b34d5

Browse files
authored
Swift: make LambdaCallKind a TODO
1 parent 765e1e1 commit 91b34d5

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

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

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -221,9 +221,7 @@ class Unit extends TUnit {
221221
*/
222222
predicate isUnreachableInCall(Node n, DataFlowCall call) { none() }
223223

224-
newtype LambdaCallKind =
225-
TYieldCallKind() or
226-
TLambdaCallKind()
224+
newtype LambdaCallKind = TODO_TLambdaCallKind()
227225

228226
/** Holds if `creation` is an expression that creates a lambda of kind `kind` for `c`. */
229227
predicate lambdaCreation(Node creation, LambdaCallKind kind, DataFlowCallable c) { none() }

0 commit comments

Comments
 (0)