https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108669
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Luke Dalessandro from comment #0) > This should run afoul of the second half of > https://eel.is/c++draft/vector#overview-4. "T shall be complete before any > member of the resulting specialization of vector is referenced." > > I honestly don't know if that "shall" implies this is ill-formed or > undefined behavior. The standard only defines the behaviour if T is complete, and so otherwise it's undefined. In library wording we try to say explicitly when something makes the program ill-formed.