Full name of submitter (unless configured in github; will be published with the issue): Sergey Anisimov

Reference (section label): [class.cdtor]

Issue description: Basically, CWG2757 doesn't address the issue normatively, only informatively: it mentions using a delete-expr or reusing/releasing the storage for the object, while an explicit destructor call constitutes neither. The intention is there though, apparently, since the example supplemented features such a situation.

Suggested resolution: Insert , invoking a destructor for the object between evaluating a delete-expression with an operand that points to the object and or releasing or reusing (6.7.3 [basic.life]) the storage which the object occupies within the normative part of the resolution already proposed.