------- Comment #2 from rguenth at gcc dot gnu dot org 2008-04-20 17:31 -------
EDG agrees with gcc:
/tmp/test.cpp(29): warning #885: template parameter "T" is not used in or
cannot be deduced from the template argument list of class template
"remote_trait<std::vector<_Tp, _Alloc>::iterator>"
template<class T, class A>
^
/tmp/test.cpp(29): warning #885: template parameter "A" is not used in or
cannot be deduced from the template argument list of class template
"remote_trait<std::vector<_Tp, _Alloc>::iterator>"
template<class T, class A>
^
which means that from an std::vector<T, A>::iterator type T and A cannot
be deduced. Which in the end means that this specialization is never
going to be selected. Whether this is rightfully diagnosed as error by
gcc I don't know.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35989
