C++ concepts: Destructible
Specifies that an instance of the type can be destructed.
u, a expression of type
The following expressions must be valid and have their specified effects
|u.~T()|| All resources owned by |
| checks if a type has a non-deleted destructor |