[Bug c++/13967] [3.3?/3.4/3.5 regression] template template argument identifier lookup fails scoping rules

[gianni at mariani dot ws]

------- Additional Comments From gianni at mariani dot ws  2004-02-02 03:00 -------
Gabriel Dos Reis writes:
|
|| So I'm confused as to what you mean "should be found".  Can you cite
|| the standard ? 
|
| What I meant is this:
|
|  struct X {
|      int C;
|
|      template<class> void func(); 
|  }; 
|
|
|  template<class C>
|    void X::func()
|    {
|       C c;     // ERROR: C is not a type.
|    }
|
| In the definition of X::func(), lookup for C will find X::C instead of
| the template parameter. 

Yes - but is this the behaviour as specified in the standard ?  At first glance,
it seems like the gcc behaviour is probably wrong.




-- 


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