[Bug c++/13088] templatizing outer class hides specialization of inner template class

[lerdsuwa at gcc dot gnu dot org]

------- Additional Comments From lerdsuwa at gcc dot gnu dot org  2004-07-19 16:29 -------
The testcase nested_deduction.cpp works now.

However the code in comment #4 still doesn't work
due to a flaw in template argument deduction.
We are deducing 'U' and 'T' together at the same time in

  template <typename U>
  template <typename T>
  struct X<U>::Local<typename S<U>::template Type<T> >

rather than first substituting 'U' with 'int' and then
deducing 'T'.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13088