[Bug c++/13967] template template argument identifier lookup fails scoping rules

["gianni at mariani dot ws" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From gianni at mariani dot ws  2004-02-01 23:43 -------

Cut-n-pasted too many comments ... the example should look like this.

struct X
{
    struct C { int x; };
    struct Z { int x; };

    template<typename T,  typename A, template<typename,typename> class C>
    C<T, A> Func()
    {
        return C<T, A>(); // sees X::C not template parameter
    }

    template< typename Z > Z Zunc()
    {
        return Z(); // works ok
    }

};

-- 


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