File tree Expand file tree Collapse file tree 2 files changed +10
-0
lines changed
swift/ql/test/library-tests/dataflow/dataflow Expand file tree Collapse file tree 2 files changed +10
-0
lines changed Original file line number Diff line number Diff line change 924924| test.swift:766:9:766:9 | f | test.swift:766:9:766:9 | SSA def(f) |
925925| test.swift:766:13:766:29 | #keyPath(...) | test.swift:766:9:766:9 | f |
926926| test.swift:766:13:766:29 | enter #keyPath(...) | test.swift:766:26:766:26 | KeyPathComponent |
927+ | test.swift:774:30:774:33 | SSA def(x) | test.swift:775:12:775:12 | x |
928+ | test.swift:774:30:774:33 | x | test.swift:774:30:774:33 | SSA def(x) |
Original file line number Diff line number Diff line change @@ -766,3 +766,11 @@ func testOptionalKeyPathForce() {
766766 let f = \S2_Optional . s!. x
767767 sink ( arg: s2 [ keyPath: f] ) // $ flow=764
768768}
769+
770+ protocol MyProtocol {
771+ func source( ) -> Int
772+ }
773+
774+ func testOpenExistentialExpr( x: MyProtocol ) {
775+ sink ( arg: x. source ( ) ) // $ MISSING:flow=771
776+ }
You can’t perform that action at this time.
0 commit comments