// PR c++/34846

template<typename, typename> struct __are_same { enum { __value = 0 }; };
template<typename _Tp> struct __are_same<_Tp, _Tp> { enum { __value = 1 }; };
template<typename, bool> struct __enable_if { };
template<typename _Tp> struct __enable_if<_Tp, true> { typedef _Tp __type; };
template<typename _Iterator, typename _Container> class __normal_iterator {
public:
  __normal_iterator();
  template<typename _Iter>
  __normal_iterator(
    const __normal_iterator<_Iter, typename __enable_if<_Container,
(__are_same<_Iter, typename _Container::pointer>::__value) >::__type>& __i)
  { }
};
template<typename _Tp> class vector {
public:
  typedef _Tp* pointer;
  typedef __normal_iterator<int, vector<_Tp> > iterator;
};
void test() {
  typedef int t;
  vector<t*>::iterator x;
  vector<t*>::iterator y = x;
}