1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
// { dg-do assemble } template<class T> void value_type(T){} template <class T> struct B{ typedef T value_type; }; template<class>class Vector{}; template<class T> struct D:B<T>{ Vector<value_type> r; // { dg-error "" } value_type is not a type };