[Bug c++/13640] Failing to reject class template partial specialization which can never be selected

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2004-01-11 00:18 -------
Subject: Re:  [3.3/3.4 regression] Failing to reject class template partial specialization which can never be selected

"giovannibajo at libero dot it" <gcc-bugzilla@gcc.gnu.org> writes:

| Unless you show me that such a warning could actually be generated in cases 
| where it's an annoyance. I thought of it but nothing came to my mind.

Well, I guess if you look at some boost-like codes, you might find
some occurances.  But, I have no problem having it open -- if that
makes you happy.  However I disgaree with the classification that it
is accept-invalid.  And if you're going to make that a warning, please
put it off by default, because that is going to waste cycles and increase
compile-time -- because, you'll need to do partial template ordering.

-- Gaby


-- 


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