[Bug c++/26261] Rejects template with local static variable used in return type

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-02-13 17:22 -------
Confirmed.
The interesting part is that for compilers pre 3.4, give an even weirder error
message:
t.cc:10: error: prototype for `X<Y<T>::dim> Y<T>::f()' does not match any in 
   class `Y<T>'
t.cc:6: error: candidate is: X<Y<T>::dim> Y<T>::f()
t.cc:10: error: template definition of non-template `X<Y<T>::dim> Y<T>::f()'


it is obvious from Y<T>::dim == Y<T>::dim :).

So I think we are not comparing template arguments correctly at all.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
      Known to fail|3.2.3 3.3.3 3.4.0 4.0.0     |3.2.3 3.3.3 3.4.0 4.0.0
                   |4.1.0 4.2.0                 |4.1.0 4.2.0 3.0.4 2.95.3
   Last reconfirmed|0000-00-00 00:00:00         |2006-02-13 17:22:13
               date|                            |


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