On 11/12/21 10:31 AM, Bjorn Reese via Std-Proposals wrote:
> On 11/12/21 2:05 AM, connor horman via Std-Proposals wrote:
>> is_complete is a pure footgun. You can write it in pure C++ today, but
>> there are many questions about how it behaves, that can really only be
>> answered with "UB" or IFNDR. For example:
>
> Yes, this is why I asked if there have been any proposals, as they would
> have to address such topics.

Furthermore, many existing type traits requires complete types, so the
standard C++ library implementations must check for completeness today.