mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
e5899ee167
When importing C++ class template instantiations, Swift generates a type name for each instantiation. The generated names must be unique, since they are used for mangling. If multiple different C++ types declare nested types with the same name, which are then used as template arguments, Swift was generating the same name for those template instantiations (e.g. `shared_ptr<Impl>` for different `Impl` types). This change makes sure we use fully-qualified type names of template parameters when generating Swift type names for class template instantiations (e.g. `shared_ptr<MyNamespace.MyClass.Impl>`). This fixes an assertion failure coming out of IRGen: ``` Assertion failed: (Buffer.empty() && "didn't claim all values out of buffer"), function ~ConstantInitBuilderBase, file ConstantInitBuilder.h, line 75. ``` rdar://141962480
63 lines
2.7 KiB
Swift
63 lines
2.7 KiB
Swift
// 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: }
|