[Bug libstdc++/80553] std::vector allows instantiation with type having a deleted destructor

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Marco Arena from comment #0)
> This compiles just fine, although it shouldn't because 'Foo' is not Erasable.

If you fail to meet the requirements for a container then your code has
undefined behaviour. No compiler error is required.