| // RUN: rm -rf %t |
| // RUN: mkdir -p %t |
| // RUN: split-file %s %t |
| // |
| // RUN: %clang_cc1 -std=c++20 %t/a.cppm -emit-module-interface -o %t/a.pcm |
| // RUN: %clang_cc1 -std=c++20 %t/b.cppm -emit-module-interface -o %t/b.pcm \ |
| // RUN: -fprebuilt-module-path=%t |
| // RUN: %clang_cc1 -std=c++20 %t/c.cppm -emit-module-interface -o %t/c.pcm \ |
| // RUN: -fprebuilt-module-path=%t |
| // RUN: %clang_cc1 -std=c++20 %t/d.cppm -emit-module-interface -o %t/d.pcm \ |
| // RUN: -fprebuilt-module-path=%t |
| // RUN: %clang_cc1 -std=c++20 %t/e.cpp -fsyntax-only -verify -fprebuilt-module-path=%t |
| |
| //--- a.cppm |
| export module a; |
| |
| struct WithCtor { |
| WithCtor(); |
| }; |
| |
| export template <typename T> |
| struct Getter { |
| union { |
| WithCtor container; |
| }; |
| }; |
| |
| //--- b.cppm |
| export module b; |
| |
| import a; |
| |
| export template <typename T> |
| class AnySpan { |
| public: |
| AnySpan(); |
| AnySpan(Getter<T> getter) |
| : getter_(getter) {} |
| |
| private: |
| Getter<T> getter_; |
| }; |
| |
| //--- c.cppm |
| export module c; |
| import b; |
| |
| export inline void RegisterInt322( |
| AnySpan<const int> sibling_field_nums) { |
| sibling_field_nums = sibling_field_nums; |
| } |
| |
| //--- d.cppm |
| // expected-no-diagnostics |
| export module d; |
| import c; |
| import b; |
| |
| export inline void RegisterInt32( |
| AnySpan<const int> sibling_field_nums = {}) { |
| sibling_field_nums = sibling_field_nums; |
| } |
| |
| //--- e.cpp |
| import d; |
| import b; |
| |
| // expected-no-diagnostics |
| void foo(AnySpan<const int> s) { |
| s = AnySpan<const int>(s); |
| } |