1 // PR c++/85462 2 // { dg-do compile { target c++11 } } 3 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 17 { 18 bool bar (); 19 #undef A 20 #define A(n) void f##n (A##n *); 21 D(1) 22 void baz (); 23 }; 24 A1000 v; 25 template <typename T> 26 bool I<T>::bar () 27 { 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; 34 } 35 struct J : I<int> 36 { 37 void qux () { bar (); } 38 }; 39