Re: c++/7606: GCC interprets wrong.

[Gabriel Dos Reis <gdr at integrable-solutions dot net>]

The following reply was made to PR c++/7606; it has been noted by GNATS.

From: Gabriel Dos Reis <gdr@integrable-solutions.net>
To: comer@pisem.net
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: c++/7606: GCC interprets wrong.
Date: 16 Aug 2002 14:21:48 +0200

 comer@pisem.net writes:
 
 [...]
 
 | >Class:          accepts-illegal
 
 Your code was perfectly well-formed and GCC was right in accepting it.
 Koenig lookup considers, among others things, the classes and
 namespaces associated with type template-arguments.  See 3.4.2/2:
 
     [...]
     If T is a template-id, its associated namespaces and classes are the
     namespace in which the template is defined; for member templates, the
     member template s class; the namespaces and classes associated with
     the types of the template arguments provided for template type
     parameters (excluding template template parameters); the namespaces in
     which any template template arguments are defined; and the classes in
     which any member templates used as template template arguments are
     defined. 
 
 -- Gaby