cpp/experimental/ranges/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).

There need not be any subsumption relationship between and.