------- Additional Comments From giovannibajo at libero dot it 2004-12-17 23:48 ------- Yes, that's the problem. The whole point is that the parser does not have enough context information to fully check for the number of template headers: there is an off-by-one possible error it has to allow. For instance:
template <> void A<int>::foo(void); The correctness of this depends on whether A<int> uses an explicit specialization or not. So yes, we could unify this for 4.1. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18733