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