Description
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.