[Bug libstdc++/65131] Integer overflow in .size() for std::vector

[redi at gcc dot gnu.org]

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

--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> ---
It seems like a waste of time. The internals of the standard library are not
the right place to dissuade people from their mistaken beliefs. Simply trying
to allocate such an array should be evidence enough.