type2.c

gcc-you can use this code to learn something about gcc, and inquire further into linux,

// { dg-do compile }
// Origin: Juan Carlos Arevalo-Baeza <[e-mail]>

// 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;