[Bug c++/40828] Rejected valid specialization of member class template

2009-07-23 Thread jwakely dot gcc at gmail dot com 


--- Comment #1 from jwakely dot gcc at gmail dot com  2009-07-23 14:06 
---
The code is invalid.  This is allowed:

template 
template class T
class Outerint::InnerT {};

but not the other way around.  The diagnostic is correct to say enclosing
class templates are not explicitly specialized

See the last specialisation in the example following 14.7.3 [temp.expl.spec]
paragraph 18


-- 


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

[Bug c++/40828] Rejected valid specialization of member class template

2009-07-23 Thread paolo dot carlini at oracle dot com 


--- Comment #2 from paolo dot carlini at oracle dot com  2009-07-23 15:06 
---
Thanks Jon.


-- 

paolo dot carlini at oracle dot com changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||INVALID


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

[Bug c++/40828] Rejected valid specialization of member class template

2009-07-23 Thread andhow at gmail dot com 


--- Comment #3 from andhow at gmail dot com  2009-07-23 16:31 ---
That is very strange indeed; sorry for the mistake!


-- 


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