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
|
// RUN: %target-swift-ide-test -print-module -module-to-print=MemberTemplates -I %S/Inputs -source-filename=x -enable-experimental-cxx-interop | %FileCheck %s
// CHECK: struct HasMemberTemplates {
// CHECK: mutating func addSameTypeParams<T>(_ a: T, _ b: T) -> T
// CHECK: mutating func addMixedTypeParams<T, U>(_ a: T, _ b: U) -> T
// CHECK: mutating func addAll<T, U>(_ a: Int32, _ b: T, _ c: U) -> Int32
// CHECK: mutating func passThrough<T>(_ val: T) -> T
// CHECK: mutating func passThroughConst<T>(_ val: T) -> T
// CHECK: func passThroughOnConst<T>(_ val: T) -> T
// CHECK: func passThroughConstOnConst<T>(_ val: T) -> T
// CHECK: mutating func doNothingConstRef<T>(_ val: T)
// CHECK: mutating func make42Ref<T>(_ val: inout T)
// CHECK: }
// CHECK: struct TemplateClassWithMemberTemplates<CInt> {
// CHECK: init(_ val: Int32)
// CHECK: var value: Int32
// CHECK: mutating func setValue<U>(_ val: U)
// CHECK: }
// CHECK: typealias IntWrapper = TemplateClassWithMemberTemplates<CInt>
// CHECK: struct HasStaticMemberTemplates {
// CHECK: init()
// CHECK: static func add<T>(_ a: T, _ b: T) -> T
// CHECK: static func addTwoTemplates<T, U>(_ a: T, _ b: U) -> T
// CHECK: static func removeReference<T>(_ a: inout T) -> T
// CHECK: }
// CHECK: struct MyTemplatedStruct<CInt> {
// CHECK: init()
// CHECK: }
// CHECK: struct HasTemplatedField {
// CHECK: init(x: MyTemplatedStruct<CInt>)
// CHECK: var x: MyTemplatedStruct<CInt>
// CHECK: }
// CHECK: struct HasNestedInstantiation {
// CHECK: struct MyNestedTemplatedStruct<T> {
// CHECK: }
// CHECK: typealias NestedInst = MyTemplatedStruct<HasNestedInstantiation.MyNestedTemplatedStruct<CInt>>
// CHECK: }
// CHECK: enum NS {
// CHECK: struct HasNestedInstantiation {
// CHECK: struct MyNestedTemplatedStruct<T> {
// CHECK: }
// CHECK: typealias NestedInst = MyTemplatedStruct<NS.HasNestedInstantiation.MyNestedTemplatedStruct<CInt>>
// CHECK: }
// CHECK: }
// CHECK: struct HasUninstantiatableTemplateMember<HasTemplateInstantiationWithForwardDecl.NoDefinition, TemplateClassWithMemberTemplates<HasTemplateInstantiationWithForwardDecl.NoDefinition>> {
// CHECK: init(pointer: OpaquePointer!)
// CHECK: var pointer: OpaquePointer!
// CHECK: }
// CHECK: struct HasTemplateInstantiationWithForwardDecl {
// CHECK: init(noDefMember: HasUninstantiatableTemplateMember<HasTemplateInstantiationWithForwardDecl.NoDefinition, TemplateClassWithMemberTemplates<HasTemplateInstantiationWithForwardDecl.NoDefinition>>)
// CHECK: var noDefMember: HasUninstantiatableTemplateMember<HasTemplateInstantiationWithForwardDecl.NoDefinition, TemplateClassWithMemberTemplates<HasTemplateInstantiationWithForwardDecl.NoDefinition>>
// CHECK: }
|
