PR c++/85462
[official-gcc.git] / gcc / testsuite / g++.dg / cpp0x / pr85462.C
blob8134d9c69f89373d748c52ee881052c20f00799b
1 // PR c++/85462
2 // { dg-do compile { target c++11 } }
4 template <class T> struct D { using d = T *; };
5 template <class, class, class> struct E;
6 template <class T, class U> struct E<T, U, U> { using d = typename D<T>::d; };
7 template <class T> struct G { using d = typename E<T, int, int>::d; };
8 template <class T, class U> typename G<T>::d foo (U);
9 #define A(n) class A##n {};
10 #define B(n) A(n##0) A(n##1) A(n##2) A(n##3) A(n##4) A(n##5) A(n##6) A(n##7) A(n##8) A(n##9)
11 #define C(n) B(n##0) B(n##1) B(n##2) B(n##3) B(n##4) B(n##5) B(n##6) B(n##7) B(n##8) B(n##9)
12 #define D(n) C(n##0) C(n##1) C(n##2) C(n##3) C(n##4)
13 D(1)
14 class H;
15 template <typename>
16 struct I
18   bool bar ();
19 #undef A
20 #define A(n) void f##n (A##n *);
21 D(1)
22   void baz ();
24 A1000 v;
25 template <typename T>
26 bool I<T>::bar ()
28 #undef A
29 #define A(n) A##n k##n = *foo<A##n> (v); f##n (&k##n);
30 D(1)
31   foo<H> (v);
32   baz ();
33   return false;
35 struct J : I<int>
37   void qux () { bar (); }