Files
swift-mirror/test/Interop/Cxx/templates/class-template-in-namespace-module-interface.swift
Egor Zhdan e5899ee167 [cxx-interop] Use fully-qualified type names of C++ template parameters
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
2025-01-02 18:03:56 +00:00

21 lines
811 B
Swift

// RUN: %target-swift-ide-test -print-module -module-to-print=ClassTemplateInNamespace -I %S/Inputs -source-filename=x -enable-experimental-cxx-interop | %FileCheck %s
// CHECK: enum Space {
// CHECK: @available(*, unavailable, message: "Un-specialized class templates are not currently supported. Please use a specialization of this type.")
// CHECK: struct Ship<> {
// CHECK: }
// CHECK: typealias Orbiter = Space.Ship<((CBool) -> Void)>
// CHECK: typealias IntBoxWithinNS = Space.Box<CInt>
// CHECK: typealias BoxOfIntBoxWithinNS = Space.Box<Space.Box<CInt>>
// CHECK: enum NestedNS1 {
// CHECK: typealias ImplBox1 = Space.Box<Space.NestedNS1.Impl>
// CHECK: }
// CHECK: enum NestedNS2 {
// CHECK: typealias ImplBox2 = Space.Box<Space.NestedNS2.Impl>
// CHECK: }
// CHECK: }