1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
// RUN: %target-run-simple-swift(-Xfrontend -disable-availability-checking)
// REQUIRES: executable_test
// UNSUPPORTED: use_os_stdlib
// UNSUPPORTED: back_deployment_runtime
import StdlibUnittest
var conformances = TestSuite("VariadicGenericConformances")
protocol P {
static func foobar() -> [String]
}
struct G<each T> {}
extension G: P where repeat each T: P {
static func foobar() -> [String] {
var result: [String] = []
repeat result += (each T).foobar()
return result
}
}
extension Int: P {
static func foobar() -> [String] {
return ["Int"]
}
}
extension String: P {
static func foobar() -> [String] {
return ["String"]
}
}
func callFoobar<T: P>(_: T) -> [String] {
return T.foobar()
}
conformances.test("conditional") {
expectEqual([], callFoobar(G< >()))
expectEqual(["Int"], callFoobar(G<Int>()))
expectEqual(["Int", "String"], callFoobar(G<Int, String>()))
}
func cast<T, U>(_ value: T, to: U.Type) -> Bool {
return value is U
}
conformances.test("cast") {
expectEqual(true, cast(G< >(), to: (any P).self))
expectEqual(true, cast(G<Int>(), to: (any P).self))
expectEqual(true, cast(G<Int, String>(), to: (any P).self))
expectEqual(false, cast(G<Bool>(), to: (any P).self))
expectEqual(false, cast(G<Int, Bool>(), to: (any P).self))
expectEqual(false, cast(G<Bool, Int>(), to: (any P).self))
}
struct Outer<each U> {
struct Inner<each V> {}
}
extension Outer.Inner: P where repeat (repeat (each U, each V)): Any {
static func foobar() -> [String] {
return ["hello"]
}
}
conformances.test("shape") {
expectEqual(true, cast(Outer< >.Inner< >(), to: (any P).self))
expectEqual(true, cast(Outer<Int>.Inner<Bool>(), to: (any P).self))
expectEqual(true, cast(Outer<Int, String>.Inner<Bool, Float>(), to: (any P).self))
expectEqual(false, cast(Outer<Bool>.Inner< >(), to: (any P).self))
expectEqual(false, cast(Outer<Int, Bool>.Inner<String, Float, Character>(), to: (any P).self))
}
runAllTests()
|
