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 924
924
| test.swift:766:9:766:9 | f | test.swift:766:9:766:9 | SSA def(f) |
925
925
| test.swift:766:13:766:29 | #keyPath(...) | test.swift:766:9:766:9 | f |
926
926
| 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() {
766
766
let f = \S2_Optional . s!. x
767
767
sink ( arg: s2 [ keyPath: f] ) // $ flow=764
768
768
}
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