1 // PR c++/78358
2 // { dg-do run }
3 // { dg-options -std=c++17 }
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 }
21