Proposed resolution:

1. Change [meta.unary.prop], Table 42 — "Type property predicates", as indicated:

   Table 22 — Type property predicates

   Template	Condition	Preconditions
   …
   template <class T> struct is_trivially_destructible;	is_destructible_v<T> is true and the indicated destructor is known to be trivialremove_all_extents_t<T> is either a non-class type or a class type with a trivial destructor.	T shall be a complete type, cv void, or an array of unknown bound.
   …