clang/test/Modules/template-pack.cppm

   1 // RUN: rm -rf %t
   2 // RUN: mkdir -p %t
   3 // RUN: split-file %s %t
   4 //
   5 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/a.cppm -o %t/a.pcm
   6 // RUN: %clang_cc1 -std=c++20 %t/b.cppm -fprebuilt-module-path=%t -fsyntax-only -verify
   7
   8 //--- foo.h
   9
  10 namespace std
  11 {
  12     template<class _Dom1>
  13     void operator &&(_Dom1 __v, _Dom1 __w)
  14     {
  15         return;
  16     }
  17 }
  18
  19 //--- bar.h
  20 namespace std
  21 {
  22   template<typename... _Types>
  23     struct _Traits
  24     {
  25       static constexpr bool _S_copy_ctor =
  26    (__is_trivial(_Types) && ...);
  27     };
  28
  29   template<typename... _Types>
  30     struct variant
  31     {
  32       void
  33       swap(variant& __rhs)
  34       noexcept((__is_trivial(_Types) && ...))
  35       {
  36       }
  37     };
  38 }
  39
  40 //--- a.cppm
  41 module;
  42 #include "foo.h"
  43 #include "bar.h"
  44 export module a;
  45
  46 //--- b.cppm
  47 // expected-no-diagnostics
  48 module;
  49 #include "bar.h"
  50 export module b;
  51 import a;