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