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
82
83
84
85
86
87
88
89
|
// RUN: %target-run-simple-swift | %FileCheck %s
// REQUIRES: executable_test
protocol Fooable { static func foo() }
class B : Fooable {
class func foo() { print("Beads?!") }
}
class D : B {
override class func foo() { print("Deeds?!") }
}
struct S : Fooable {
static func foo() { print("Seeds?!") }
}
func classMetatype(_ b: B.Type) {
b.foo()
}
func structMetatype(_ s: S.Type) {
s.foo()
}
func archeMetatype<T : Fooable>(_ t: T.Type) {
t.foo()
}
func archeMetatype2<T : Fooable>(_ t: T) {
type(of: t).foo()
}
func boxedExistentialMetatype(_ e: Error) -> Error.Type {
return type(of: e)
}
enum Hangry : Error {
case Hungry, Angry
}
class Meltdown : Error {
var _domain : String {
return "_domain"
}
var _code : Int {
return 420
}
}
class GrilledCheese : Meltdown {}
func labeledTuple() -> (x: Int, y: Int, Double) {
return (x: 1, y: 1, 3.14159)
}
// CHECK: Beads?
classMetatype(type(of: B()))
// CHECK: Deeds?
classMetatype(type(of: D()))
// CHECK: Seeds?
structMetatype(type(of: S()))
// CHECK: Beads?
archeMetatype(type(of: B()))
// FIXME: Deeds? <rdar://problem/14620454>
archeMetatype(type(of: D()))
// CHECK: Seeds?
archeMetatype(type(of: S()))
// CHECK: Beads?
archeMetatype2(B())
// FIXME: Deeds? <rdar://problem/14620454>
archeMetatype2(D())
// CHECK: Seeds?
archeMetatype2(S())
// CHECK: Hangry
print(boxedExistentialMetatype(Hangry.Hungry))
// CHECK: Meltdown
print(boxedExistentialMetatype(Meltdown()))
// CHECK: GrilledCheese
print(boxedExistentialMetatype(GrilledCheese()))
// CHECK: GrilledCheese
print(boxedExistentialMetatype(GrilledCheese() as Meltdown))
// CHECK: (x: Int, y: Int, Double)
print(type(of: labeledTuple()))
|
