Skip to content

Commit bce023a

Browse files
committed
[stdlib] Set.Sequence unittest explicit annotation
Use explicit type annotation to make it crystal clear (beyoud any reasonable doubt) these are indeed testing the Sequence variants.
1 parent 0f4c1cd commit bce023a

File tree

1 file changed

+28
-24
lines changed

1 file changed

+28
-24
lines changed

validation-test/stdlib/Set.swift

Lines changed: 28 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -2868,13 +2868,14 @@ SetTestSuite.test("isSubsetOf.Set.Set") {
28682868
}
28692869

28702870
SetTestSuite.test("isSubsetOf.Set.Sequence") {
2871+
typealias Seq = Array<Int>
28712872
let s1 = Set([1010, 2020, 3030])
2872-
expectTrue(Set<Int>().isSubset(of: [1010]))
2873-
expectFalse(s1.isSubset(of: []))
2874-
expectTrue(Set<Int>().isSubset(of: []))
2875-
expectTrue(s1.isSubset(of: [1010, 2020, 3030]))
2876-
expectFalse(s1.isSubset(of: [1010, 2020]))
2877-
expectTrue(s1.isSubset(of: [1010, 2020, 3030, 4040]))
2873+
expectTrue(Set<Int>().isSubset(of: [1010] as Seq))
2874+
expectFalse(s1.isSubset(of: [] as Seq))
2875+
expectTrue(Set<Int>().isSubset(of: [] as Seq))
2876+
expectTrue(s1.isSubset(of: [1010, 2020, 3030] as Seq))
2877+
expectFalse(s1.isSubset(of: [1010, 2020] as Seq))
2878+
expectTrue(s1.isSubset(of: [1010, 2020, 3030, 4040] as Seq))
28782879
}
28792880

28802881
SetTestSuite.test("isStrictSubsetOf.Set.Set") {
@@ -2889,13 +2890,14 @@ SetTestSuite.test("isStrictSubsetOf.Set.Set") {
28892890
}
28902891

28912892
SetTestSuite.test("isStrictSubsetOf.Set.Sequence") {
2893+
typealias Seq = Array<Int>
28922894
let s1 = Set([1010, 2020, 3030])
2893-
expectTrue(Set<Int>().isStrictSubset(of: [1010]))
2894-
expectFalse(s1.isStrictSubset(of: []))
2895-
expectFalse(Set<Int>().isStrictSubset(of: []))
2896-
expectFalse(s1.isStrictSubset(of: [1010, 2020, 3030]))
2897-
expectFalse(s1.isStrictSubset(of: [1010, 2020]))
2898-
expectTrue(s1.isStrictSubset(of: [1010, 2020, 3030, 4040]))
2895+
expectTrue(Set<Int>().isStrictSubset(of: [1010] as Seq))
2896+
expectFalse(s1.isStrictSubset(of: [] as Seq))
2897+
expectFalse(Set<Int>().isStrictSubset(of: [] as Seq))
2898+
expectFalse(s1.isStrictSubset(of: [1010, 2020, 3030] as Seq))
2899+
expectFalse(s1.isStrictSubset(of: [1010, 2020] as Seq))
2900+
expectTrue(s1.isStrictSubset(of: [1010, 2020, 3030, 4040] as Seq))
28992901
}
29002902

29012903
SetTestSuite.test("isSupersetOf.Set.Set") {
@@ -2910,13 +2912,14 @@ SetTestSuite.test("isSupersetOf.Set.Set") {
29102912
}
29112913

29122914
SetTestSuite.test("isSupersetOf.Set.Sequence") {
2915+
typealias Seq = Array<Int>
29132916
let s1 = Set([1010, 2020, 3030])
2914-
expectTrue(s1.isSuperset(of: Set<Int>()))
2915-
expectFalse(Set<Int>().isSuperset(of: [1010]))
2916-
expectTrue(Set<Int>().isSuperset(of: []))
2917-
expectTrue(s1.isSuperset(of: [1010, 2020, 3030]))
2918-
expectTrue(s1.isSuperset(of: [1010, 2020]))
2919-
expectFalse(s1.isSuperset(of: [1010, 2020, 3030, 4040]))
2917+
expectTrue(s1.isSuperset(of: [] as Seq))
2918+
expectFalse(Set<Int>().isSuperset(of: [1010] as Seq))
2919+
expectTrue(Set<Int>().isSuperset(of: [] as Seq))
2920+
expectTrue(s1.isSuperset(of: [1010, 2020, 3030] as Seq))
2921+
expectTrue(s1.isSuperset(of: [1010, 2020] as Seq))
2922+
expectFalse(s1.isSuperset(of: [1010, 2020, 3030, 4040] as Seq))
29202923
}
29212924

29222925
SetTestSuite.test("isStrictSuperset.Set.Set") {
@@ -2931,13 +2934,14 @@ SetTestSuite.test("isStrictSuperset.Set.Set") {
29312934
}
29322935

29332936
SetTestSuite.test("isStrictSuperset.Set.Sequence") {
2937+
typealias Seq = Array<Int>
29342938
let s1 = Set([1010, 2020, 3030])
2935-
expectTrue(s1.isStrictSuperset(of: []))
2936-
expectFalse(Set<Int>().isStrictSuperset(of: [1010]))
2937-
expectFalse(Set<Int>().isStrictSuperset(of: []))
2938-
expectFalse(s1.isStrictSuperset(of: [1010, 2020, 3030]))
2939-
expectTrue(s1.isStrictSuperset(of: [1010, 2020]))
2940-
expectFalse(s1.isStrictSuperset(of: [1010, 2020, 3030, 4040]))
2939+
expectTrue(s1.isStrictSuperset(of: [] as Seq))
2940+
expectFalse(Set<Int>().isStrictSuperset(of: [1010] as Seq))
2941+
expectFalse(Set<Int>().isStrictSuperset(of: [] as Seq))
2942+
expectFalse(s1.isStrictSuperset(of: [1010, 2020, 3030] as Seq))
2943+
expectTrue(s1.isStrictSuperset(of: [1010, 2020] as Seq))
2944+
expectFalse(s1.isStrictSuperset(of: [1010, 2020, 3030, 4040] as Seq))
29412945
}
29422946

29432947
SetTestSuite.test("Equatable.Native.Native") {

0 commit comments

Comments
 (0)