Swift: generalize EnumIsCaseExpr test

Author: redsun82

swift/ql/test/extractor-tests/generated/expr/EnumIsCaseExpr/EnumIsCaseExpr.expected

@@ -3,4 +3,8 @@
 | enum_is_case.swift:6:1:6:1 | ... is some | getSubExpr: | enum_is_case.swift:6:1:6:1 | 42 | getTypeRepr: | enum_is_case.swift:6:7:6:10 | ...? | getElement: | file://:0:0:0:0 | some |
 | enum_is_case.swift:7:1:7:1 | ... is some | getSubExpr: | enum_is_case.swift:7:1:7:1 | 42 | getTypeRepr: | enum_is_case.swift:7:7:7:11 | ...? | getElement: | file://:0:0:0:0 | some |
 | enum_is_case.swift:9:1:9:19 | ... is some | getSubExpr: | enum_is_case.swift:9:1:9:19 | [...] | getTypeRepr: | enum_is_case.swift:9:24:9:28 | [...] | getElement: | file://:0:0:0:0 | some |
-| enum_is_case.swift:14:1:14:18 | ... is some | getSubExpr: | enum_is_case.swift:14:1:14:18 | OptionalEvaluationExpr | getTypeRepr: | enum_is_case.swift:14:23:14:23 | SimpleIdentTypeRepr | getElement: | file://:0:0:0:0 | some |
+| enum_is_case.swift:20:1:20:18 | ... is some | getSubExpr: | enum_is_case.swift:20:1:20:18 | OptionalEvaluationExpr | getTypeRepr: | enum_is_case.swift:20:23:20:23 | SimpleIdentTypeRepr | getElement: | file://:0:0:0:0 | some |
+| enum_is_case.swift:22:1:22:5 | ... is some | getSubExpr: | enum_is_case.swift:22:1:22:5 | [...] | getTypeRepr: | enum_is_case.swift:22:10:22:12 | [...] | getElement: | file://:0:0:0:0 | some |
+| enum_is_case.swift:23:1:23:10 | ... is some | getSubExpr: | enum_is_case.swift:23:1:23:10 | [...] | getTypeRepr: | enum_is_case.swift:23:15:23:25 | [... : ...] | getElement: | file://:0:0:0:0 | some |
+| enum_is_case.swift:24:1:24:10 | ... is some | getSubExpr: | enum_is_case.swift:24:1:24:10 | [...] | getTypeRepr: | enum_is_case.swift:24:15:24:25 | [... : ...] | getElement: | file://:0:0:0:0 | some |
+| enum_is_case.swift:25:1:25:8 | ... is some | getSubExpr: | enum_is_case.swift:25:1:25:8 | call to ... | getTypeRepr: | enum_is_case.swift:25:13:25:18 | ...<...> | getElement: | file://:0:0:0:0 | some |

swift/ql/test/extractor-tests/generated/expr/EnumIsCaseExpr/EnumIsCaseExpr_getType.expected

@@ -3,4 +3,8 @@
 | enum_is_case.swift:6:1:6:1 | ... is some | Bool |
 | enum_is_case.swift:7:1:7:1 | ... is some | Bool |
 | enum_is_case.swift:9:1:9:19 | ... is some | Bool |
-| enum_is_case.swift:14:1:14:18 | ... is some | Bool |
+| enum_is_case.swift:20:1:20:18 | ... is some | Bool |
+| enum_is_case.swift:22:1:22:5 | ... is some | Bool |
+| enum_is_case.swift:23:1:23:10 | ... is some | Bool |
+| enum_is_case.swift:24:1:24:10 | ... is some | Bool |
+| enum_is_case.swift:25:1:25:8 | ... is some | Bool |

swift/ql/test/extractor-tests/generated/expr/EnumIsCaseExpr/enum_is_case.swift

@@ -1,5 +1,5 @@
 // EnumIsCaseExpr despite its generic nature is actually only generated when an `is` expression passes through an
-// intrinsic Optional check
+// intrinsic Optional check, or an array, dictionary or set downcast
 
 Optional.some(42) is Int
 Optional.some(Optional.some(42)) is Int
@@ -9,6 +9,16 @@ Optional.some(Optional.some(42)) is Int
 [Optional.some(42)] is [Int]
 [42] is [Int?]
 
-class X {}
+class X : Hashable {
+    static func == (lhs: X, rhs: X) -> Bool { return true }
+    func hash(into hasher: inout Hasher) {}
+}
+
 class Y: X {}
+
 Optional.some(Y()) is X
+
+[X()] is [Y]
+["x": X()] is [String: Y]
+["x": X()] is [String: Y]
+Set<X>() is Set<Y>