This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 116a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2024-12-19
Subclause 6.5.5.1 [basic.lookup.qual.general] paragraph 1 does not, but should, allow for pseudo-destructors.
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.