cpp/named req/Destructible

Specifies that an instance of the type can be destructed.

Requirements
The type satisfies  if

Given
 * , an expression of type

The following expressions must be valid and have their specified effects