131
|
1 // { dg-do compile { target c++17 } }
|
111
|
2
|
|
3 namespace std {
|
|
4 template<typename T> struct tuple_size;
|
|
5 template<int, typename> struct tuple_element;
|
|
6 }
|
|
7
|
|
8 struct A1 { int i,j; } a1;
|
|
9 template<> struct std::tuple_size<A1> { };
|
|
10 void f1() { auto [ x ] = a1; } // { dg-error "is not an integral constant expression" }
|
|
11
|
|
12 struct A2 { int i,j; } a2;
|
|
13 template<> struct std::tuple_size<A2> { enum { value = 5 }; };
|
131
|
14 void f2() { auto [ x ] = a2; } // { dg-error "only 1 name provided" }
|
|
15 // { dg-message "decomposes into 5" "" { target *-*-* } .-1 }
|
111
|
16
|
|
17 struct A3 { int i,j; } a3;
|
|
18 template<> struct std::tuple_size<A3> { enum { value = 1 }; };
|
|
19 void f3() { auto [ x ] = a3; } // { dg-error "get" }
|
|
20
|
|
21 struct A3a { int i,j; int get(); } a3a;
|
|
22 template<> struct std::tuple_size<A3a> { enum { value = 1 }; };
|
131
|
23 void f3a() { auto [ x ] = a3a; } // { dg-error "get" }
|
111
|
24
|
|
25 struct A3b { int i,j; } a3b;
|
|
26 int get(A3b&&);
|
|
27 template<> struct std::tuple_size<A3b> { enum { value = 1 }; };
|
|
28 void f3b() { auto [ x ] = a3b; } // { dg-error "get<0>" }
|
|
29
|
|
30 struct A4 {
|
|
31 int ar[3];
|
|
32 template <int I> int& get() { return ar[I]; }
|
|
33 } a4;
|
|
34 template<> struct std::tuple_size<A4> { enum { value = 3 }; };
|
|
35 void f4() { auto [ x, y, z ] = a4; } // { dg-error "tuple_element" }
|
|
36
|
|
37 struct A5 { } a5;
|
|
38 template <int I> int& get(A5&& a);
|
|
39 template<> struct std::tuple_size<A5> { enum { value = 3 }; };
|
|
40 void f5() { auto [ x, y, z ] = a5; } // { dg-error "tuple_element" }
|
|
41
|
|
42 struct A6 { } a6;
|
|
43 template <int I> int& get(A6&& a);
|
|
44 template<> struct std::tuple_size<A6> { enum { value = 3 }; };
|
|
45 template<> struct std::tuple_element<0, A6> { };
|
|
46 void f6() { auto [ x, y, z ] = a6; } // { dg-error "no type named .type" }
|