[Bug c++/7033] [3.3/3.4 regression] Partial template specializations accepted even if a template parameter is used in a non-deduced context

[mmitchel@gcc.gnu.org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


mmitchel@gcc.gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID


------- Additional Comments From mmitchel@gcc.gnu.org  2003-06-11 22:15 -------
Giovanni is correct; the nested-name-specified is a non-deduced context.

Note that partial specialization matching is defined in terms of function
template deduction (see [temp.class.order]).