I guess it is only for ones with nontrivial destructors. That makes the "trivialness" of a destructor part of the interface, which is a price. But then from m

I guess it is only for ones with nontrivial destructors. That makes the "trivialness" of a destructor part of the interface, which is a price. But then from my experience in C++, we pay that price anyway, because to have any sort of assurance about what you are doing, you need some clue about what the destructor does.