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

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