gcc/testsuite/g++.dg/template/type2.C


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;