Skip to content

Commit 4dcd3be

Browse files
committed
Swift: Delete TODOs (move to issues).
1 parent e6baf66 commit 4dcd3be

File tree

1 file changed

+3
-9
lines changed

1 file changed

+3
-9
lines changed

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

Lines changed: 3 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -31,25 +31,19 @@ DataFlowType getContentType(ContentSet c) { any() }
3131

3232
/** Gets the return type of kind `rk` for callable `c`. */
3333
bindingset[c]
34-
DataFlowType getReturnType(SummarizedCallable c, ReturnKind rk) {
35-
any() // TODO once we have type pruning
36-
}
34+
DataFlowType getReturnType(SummarizedCallable c, ReturnKind rk) { any() }
3735

3836
/**
3937
* Gets the type of the parameter matching arguments at position `pos` in a
4038
* synthesized call that targets a callback of type `t`.
4139
*/
42-
DataFlowType getCallbackParameterType(DataFlowType t, ArgumentPosition pos) {
43-
any() // TODO once we have type pruning
44-
}
40+
DataFlowType getCallbackParameterType(DataFlowType t, ArgumentPosition pos) { any() }
4541

4642
/**
4743
* Gets the return type of kind `rk` in a synthesized call that targets a
4844
* callback of type `t`.
4945
*/
50-
DataFlowType getCallbackReturnType(DataFlowType t, ReturnKind rk) {
51-
any() // TODO once we have type pruning
52-
}
46+
DataFlowType getCallbackReturnType(DataFlowType t, ReturnKind rk) { any() }
5347

5448
/** Gets the type of synthetic global `sg`. */
5549
DataFlowType getSyntheticGlobalType(SummaryComponent::SyntheticGlobal sg) { any() }

0 commit comments

Comments
 (0)