1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
// { dg-do compile } // Origin: Juan Carlos Arevalo-Baeza <jcab@JCABs-Rumblings.com> // PR c++/8442 // Type template parameter incorrectly treated as template template // parameter. template <typename T> struct A {}; template <typename T> struct B { template <typename U> struct C {}; template <typename U> A<C<U> > foo(U); }; B<void> b;