- Notifications
You must be signed in to change notification settings - Fork 10.5k
/
Copy pathexistentials.swift
114 lines (92 loc) · 2.99 KB
/
existentials.swift
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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
// RUN: %empty-directory(%t)
// RUN: %target-build-swift -emit-executable %s -g -o %t/existentials -emit-module
// RUN: sed -ne '/\/\/ *DEMANGLE: /s/\/\/ *DEMANGLE: *//p' < %s > %t/input
// RUN: %lldb-moduleimport-test %t/existentials -type-from-mangled=%t/input | %FileCheck %s --match-full-lines
func blackHole(_:Any...){}
protocolP{}
protocolQ{}
classC{}
classD:C,P,Q{}
do{
lete0:Any=D()
lete1:AnyObject=D()
lete2:P=D()
lete4:P&C=D()
lete3:P&AnyObject=D()
lete5:P&Q=D()
lete6:P&Q&C=D()
lete7:P&Q&AnyObject=D()
blackHole(e0, e1, e2, e3, e4, e5, e6, e7)
}
do{
lete0:Any.Type=D.self
lete1:AnyObject.Type=D.self
lete2:P.Type=D.self
lete4:(P&C).Type =D.self
lete3:(P&AnyObject).Type =D.self
lete5:(P&Q).Type =D.self
lete6:(P&Q&C).Type =D.self
lete7:(P&Q&AnyObject).Type =D.self
blackHole(e0, e1, e2, e3, e4, e5, e6, e7)
}
do{
lete0:Any.Protocol=Any.self
lete1:AnyObject.Protocol=AnyObject.self
lete2:P.Protocol=P.self
lete4:(P&C).Protocol =(P & C).self
lete3:(P&AnyObject).Protocol =(P & AnyObject).self
lete5:(P&Q).Protocol =(P & Q).self
lete6:(P&Q&C).Protocol =(P & Q & C).self
lete7:(P&Q&AnyObject).Protocol =(P & Q & AnyObject).self
blackHole(e0, e1, e2, e3, e4, e5, e6, e7)
}
// DEMANGLE: $sypD
// DEMANGLE: $syXlD
// DEMANGLE: $s12existentials1P_pD
// DEMANGLE: $s12existentials1P_AA1CCXcD
// DEMANGLE: $s12existentials1P_XlD
// DEMANGLE: $s12existentials1P_AA1QpD
// DEMANGLE: $s12existentials1P_AA1QAA1CCXcD
// DEMANGLE: $s12existentials1P_AA1QXlD
// FIXME(https://github.com/apple/swift/issues/65879): All of these should be existentials, i.e., prefixed with 'any'
// CHECK: Any
// CHECK: AnyObject
// CHECK: P
// CHECK: C & P
// CHECK: P & AnyObject
// CHECK: P & Q
// CHECK: C & P & Q
// CHECK: P & Q & AnyObject
// DEMANGLE: $sypXpD
// DEMANGLE: $syXlXpD
// DEMANGLE: $s12existentials1P_pXpD
// DEMANGLE: $s12existentials1P_XlXpD
// DEMANGLE: $s12existentials1P_AA1CCXcXpD
// DEMANGLE: $s12existentials1P_AA1QpXpD
// DEMANGLE: $s12existentials1P_AA1QAA1CCXcXpD
// DEMANGLE: $s12existentials1P_AA1QXlXpD
// CHECK: any Any.Type
// CHECK: any AnyObject.Type
// CHECK: any P.Type
// CHECK: any (P & AnyObject).Type
// CHECK: any (C & P).Type
// CHECK: any (P & Q).Type
// CHECK: any (C & P & Q).Type
// CHECK: any (P & Q & AnyObject).Type
// DEMANGLE: $sypmD
// DEMANGLE: $syXlmD
// DEMANGLE: $s12existentials1P_pmD
// DEMANGLE: $s12existentials1P_AA1CCXcmD
// DEMANGLE: $s12existentials1P_XlmD
// DEMANGLE: $s12existentials1P_AA1QpmD
// DEMANGLE: $s12existentials1P_AA1QAA1CCXcmD
// DEMANGLE: $s12existentials1P_AA1QXlmD
// FIXME(https://github.com/apple/swift/issues/65880): All of these should be of the form (any <existential>).Type
// CHECK: Any.Type
// CHECK: AnyObject.Type
// CHECK: P.Type
// CHECK: (C & P).Type
// CHECK: (P & AnyObject).Type
// CHECK: (P & Q).Type
// CHECK: (C & P & Q).Type
// CHECK: (P & Q & AnyObject).Type
