// { dg-do assemble  }
// { dg-options "-pedantic -Wno-deprecated" }
// This code snippet should be rejected with -pedantic
// Based on a test case by Louidor Erez <s3824888@techst02.technion.ac.il>


template<class T>
class Vector {
public:
  typedef T* iterator;
};

template<class T>
void f()
{
  Vector<T>::iterator i = 0; // { dg-warning "" } missing typename
}