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

Wed Jun 11 22:59:00 GMT 2003

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

giovannibajo@libero.it changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mmitchel@gcc.gnu.org

------- Additional Comments From giovannibajo@libero.it  2003-06-11 22:58 -------
Mark,

should I file a new enhancement PR about adding a diagnostic message if the 
code defines a partial specialization which could never be chosen because it 
relies on non-deduced contexts? I think it would be a valuable feature.