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
|
// RUN: %target-swift-frontend %s -emit-ir | %FileCheck %s
// rdar://problem/20628295
protocol Panda : class {
init()
func getCutenessLevel() -> Int
}
class Cat : Panda {
required init() { }
func getCutenessLevel() -> Int {
return 3
}
}
class Veterinarian<T: Panda> {
func disentangle(_ t: T) { }
}
class Anesthesiologist<T: Cat> : Veterinarian<T> { }
func breed<T : Panda>(_ t: T) { }
// CHECK-LABEL: define hidden swiftcc void @"$s40sil_witness_tables_inherited_conformance4feed{{[_0-9a-zA-Z]*}}F"(ptr %0, ptr %T)
func feed<T : Cat>(_ t: T) {
// CHECK: call swiftcc void @"$s40sil_witness_tables_inherited_conformance5breed{{[_0-9a-zA-Z]*}}F"{{.*}} @"$s40sil_witness_tables_inherited_conformance3CatCAA5PandaAAWP"
breed(t)
}
func obtain<T : Panda>(_ t: T.Type) {
t.init()
}
// CHECK-LABEL: define hidden swiftcc void @"$s40sil_witness_tables_inherited_conformance6wangle{{[_0-9a-zA-Z]*}}F"(ptr %0, ptr %T)
func wangle<T : Cat>(_ t: T.Type) {
// CHECK: call swiftcc void @"$s40sil_witness_tables_inherited_conformance6obtain{{[_0-9a-zA-Z]*}}F"{{.*}} @"$s40sil_witness_tables_inherited_conformance3CatCAA5PandaAAWP"
obtain(t)
}
feed(Cat())
wangle(Cat.self)
Anesthesiologist<Cat>().disentangle(Cat())
|
