Possible resolution:

Change in 6.5.5.1 [basic.lookup.qual.general] paragraph 1 as follows:

Lookup of an identifier followed by a :: scope resolution operator considers only namespaces, types, and templates whose specializations are types. If a name, template-id, or computed-type-specifier is followed by a ::, it shall designate a namespace, class, enumeration, or dependent type, or if the :: is followed by ~, a scalar type, and the :: is never interpreted as a complete nested-name-specifier.

Subclause 6.5.5.1 [basic.lookup.qual.general] paragraph 1 does not, but should, allow for pseudo-destructors.