Proposed resolution:

Modify Table 38 — Type property predicates for is_empty as follows:

T is a class type, but not a union type,is a non-union class type with no non-static data members other than, no unnamed bit-fields of non-zero length 0, no virtual member functions, no virtual base classes, and no base class B for which is_empty_v<B> is false.