[Bug c++/35989] code rejected in template specialization (4.2 did accept)

["rguenth at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>]

------- 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

------- You are receiving this mail because: -------
You reported the bug, or are watching the reporter.