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

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-03-01 01:14 -------
(In reply to comment #8)

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

I'm looking into a simple sintactic solution. Within 
process_partial_specialization, I go through the inner_args and check if the 
template parameters appear only in non-deduced contexts (for a start: within 
nested-name-specifiers). If that's true, I emit a warning. Am I missing 
something? It looks like it's going to work.


-- 


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