C++ PATCH: PR 13140

[Gabriel Dos Reis]

Benjamin Kosnik <bkoz@redhat.com> writes:

| > 
| > | This patch tightens up error checking in G++.  In particular, we now
| > | catch cases where a member is defined in a namespace that does not
| > | enclose the class in whch it was declared, or cases where a template
| > | is explicitly instantiated in a namespace that does not enclose the
| > | namespace where it was declared, and we catch an explicit
| > | specialization case that we didn't catch before. 
| 
| > The libstdc++ change is OK.
| 
| Agreed. I also agree that the standard requires the present behavior.
| 
| However, when we were presenting in Kona about namespace association,
| nobody (Gaby, Bjarne, Daveed) could remember why this particular
| behavior is required in the first place.

I still can't remember.

| Any thoughts?

I haven't done anything on that front since then...

-- Gaby