gcc/testsuite/g++.dg/template/non-type-template-argument-1.C


1
2
3
4
5
6
7
8
9
10
11
12

struct A { static const bool b=false; };

struct B { typedef A X; };

template <bool> struct C {};

template <typename T> struct D
{
   C<T::X> c;                   // { dg-error "names a type" }
};

D<B> d;                         // { dg-error "" }