[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|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|---                         |8.0
           Severity|enhancement                 |normal

--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Fixed on trunk.

We were also silently accepting attempts to use C++17's std::destroy and
std::destroy_n on types with deleted destructors.