non-type-template-argument-1.c

来自「Mac OS X 10.4.9 for x86 Source Code gcc」· C语言 代码 · 共 13 行

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 "parsed as a non-type|if a type is meant" }
};

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