18 Concepts library [concepts]

18.4 Language-related concepts [concepts.lang]

18.4.10 Concept Destructible [concept.destructible]

The Destructible concept specifies properties of all types, instances of which can be destroyed at the end of their lifetime, or reference types.
template<class T> concept Destructible = is_nothrow_destructible_v<T>;
Unlike the Cpp17Destructible requirements ([tab:destructible]Table *tab:destructible), this concept forbids destructors that are potentially throwing, even if a particular invocation of the destructor does not actually throw.
end note