417fa07162
This takes 25% of the time in running tests and there is no benefit. The behaviour of destructors is the same before/after the patch.