[Bug c++/109997] New: __is_assignable(int, IncompleteType) should be rejected

[redi at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109997

            Bug ID: 109997
           Summary: __is_assignable(int, IncompleteType) should be
                    rejected
           Product: gcc
           Version: 13.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: redi at gcc dot gnu.org
            Blocks: 71579
  Target Milestone: ---

struct S;
bool b = __is_assignable(int, S);

This should be rejected:

The precondition for std::is_assignable is:

"T and U shall be complete types, cv void, or arrays of unknown bound."


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71579
[Bug 71579] type_traits miss checks for type completeness in some traits