Proposed resolution (September, 2015):

1. Change 6.5.5.2 [class.qual] bullet 1.1 as follows:

• a destructor name is looked up the lookup for a destructor is as specified in 6.5.5 [basic.lookup.qual];

2. Change 11.4.7 [class.dtor] paragraph 13 as follows:

In an explicit destructor call, the destructor name appears as is specified by a ~ followed by a type-name or decltype-specifier that denotes the destructor's class type. The invocation...

[Adopted at the February, 2016 meeting.]

According to 9.9 [namespace.udecl] paragraph 4,

[Note: Since destructors do not have names, a using-declaration cannot refer to a destructor for a base class....

However, 11.4.7 [class.dtor] paragraph 13 says,

In an explicit destructor call, the destructor name appears as a ~ followed by a type-name or decltype-specifier that denotes the destructor's class type...

See also 6.5.5.2 [class.qual] bullet 1.1:

a destructor name is looked up as specified in 6.5.5 [basic.lookup.qual];