gcc/testsuite/g++.dg/cpp1z/decomp12.C

   1 // PR c++/78358
   2 // { dg-do run }
   3 // { dg-options -std=c++1z }
   4
   5 #include <tuple>
   6
   7 template <typename, typename> struct same_type;
   8 template <typename T> struct same_type<T, T> {};
   9
  10 int main() {
  11   std::tuple tuple = { 1, 'a', 2.3, true };
  12   auto[i, c, d, b] = tuple;
  13   same_type<std::tuple_element<0, decltype(tuple)>::type, decltype(i)>{};
  14   same_type<decltype(i), int>{};
  15   same_type<decltype(c), char>{};
  16   same_type<decltype(d), double>{};
  17   same_type<decltype(b), bool>{};
  18   if (i != 1 || c != 'a' || d != 2.3 || b != true)
  19     __builtin_abort ();
  20 }