gcc/testsuite/g++.dg/concepts/variadic1.C

   1 // PR c++/66712
   2 // { dg-do compile { target c++17_only } }
   3 // { dg-options "-fconcepts-ts" }
   4
   5 template <class T, class...Args>
   6 concept bool _Constructible_ =
   7   requires (Args&&...args)
   8   {
   9     T{ ((Args&&)(args))... };
  10   };
  11
  12 template <class T, class...Args>
  13 constexpr bool _constructible_() { return false; }
  14
  15 _Constructible_{T, ...Args}
  16 constexpr bool _constructible_() { return true; }
  17
  18 struct S
  19 {
  20   S(int, char const *);
  21 };
  22
  23 int main()
  24 {
  25   static_assert(_constructible_<S, int, char const *>(), "");
  26 }