With regard to this note:

There is a single element of the aggregate, of an unspecified empty aggregate type.

I believe that resolution is unsatisfactory as it would be a forced abi break for libc++.

What is the chance a fix can be retroactively applied to C++17? I am not sure what is the process for a defect report and how it differs from regular proposals.