Explicit destructor call - problem with typedef from other namespace

Hello,

I started similar thread in past week:

http://groups.google.com/group/comp.lang.c++.moderated/browse_thread/thread/4445dc89046ac1cd

but now I want your advice / explanation about this thing:

Imagine simple code:

namespace a {
  class A { public: virtual ~A() { cout << "~A()"; }};
  typedef A TA;
  class B : public A { public: virtual ~B() { cout << "~B()"; }};
}

and 3 different usages:

  1) This is classic usage, produces expected output: ~B()~A()
int main() {
   char buf[100];
   a::A *p = new (buf) a::B;
   p->~A();
}

2) This doesn't compile "20:error: expected class-name before ?(?
token".
int main() {
   char buf[100];
   a::TA *p = new (buf) a::B;
   p->~TA(); //line 20
}

3) This compiles but produces unexpected output: ~A().
I understand this because it is not "virtual" call of destructor.
int main() {
   char buf[100];
   a::TA *p = new (buf) a::B;
   p->a::TA::~TA();
}

Please tell me if case #2 is just gcc error (gcc-4.3.4) or C++
standard defines this. If this is standard - is there any rationale
for this?
If "using namespace a" added to case #2 - everything works fine.

Thanks in advance,
Piotr

--
      [ See http://www.gotw.ca/resources/clcm.htm for info about ]
      [ comp.lang.c++.moderated. First time posters: Do this! ]