cpp/types/is destructible

@1@ If is a reference type, provides the member constant  equal to. If is (possibly cv-qualified), a function type, or an array of unknown bound,  equals. If is an object type, then, for the type  that is, if the expression  is well-formed in unevaluated context,  equals. Otherwise, equals.

@2@ Same as and additionally  is either a non-class type or a class type with a trivial destructor.

@3@ Same as, but the destructor is noexcept.