[PATCH] PR libstdc++/80553 don't allow destroying non-destructible types

[Jonathan Wakely]

On 28/04/17 13:56 +0100, Jonathan Wakely wrote:
>We optimize _Destroy and _Destroy_n to do nothing when the type has a
>trivial destructor, which means we do nothing (instead of giving an
>error) when trying to destroy types with deleted destructors.

I wonder if this optimisation should even exist. The compiler should
be able to optimise away a loop that just calls trivial destructors,
without help from the library.