cpp/concepts/destructible

The concept specifies the concept of all types whose instances can safely be destroyed at the end of their lifetime (including reference types).