------- Comment #3 from mrs at apple dot com 2008-11-12 18:33 ------- I'm merely eching bits from the clang development list... Now they think the above doesn't apply, but 3.4.5p3 does:
3 If the unqualified-id is ∼ type-name, the type-name is looked up in the context of the entire postfix-expression. If the type T of the object expression is of a class type C, the type-name is also looked up in the scope of class C. At least one of the lookups shall find a name that refers to (possibly cv-qualified) T. :-) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38087